Makefile: Add GHCFLAGS variable.
This commit is contained in:
parent
b805b9ae66
commit
67c5036579
2 changed files with 3 additions and 3 deletions
4
Makefile
4
Makefile
|
@ -1,6 +1,6 @@
|
||||||
PREFIX=/usr
|
PREFIX=/usr
|
||||||
GHCOPTS=-O2 -Wall
|
GHCFLAGS=-O2 -Wall
|
||||||
GHCMAKE=ghc -odir build -hidir build $(GHCOPTS) --make
|
GHCMAKE=ghc -odir build -hidir build $(GHCFLAGS) --make
|
||||||
|
|
||||||
all: git-annex git-annex.1 docs
|
all: git-annex git-annex.1 docs
|
||||||
|
|
||||||
|
|
2
debian/changelog
vendored
2
debian/changelog
vendored
|
@ -1,7 +1,7 @@
|
||||||
git-annex (0.13) UNRELEASED; urgency=low
|
git-annex (0.13) UNRELEASED; urgency=low
|
||||||
|
|
||||||
* Makefile: Install man page and html (when built).
|
* Makefile: Install man page and html (when built).
|
||||||
* Makefile: Add GHCOPTS variable.
|
* Makefile: Add GHCFLAGS variable.
|
||||||
|
|
||||||
-- Joey Hess <joeyh@debian.org> Sun, 12 Dec 2010 13:14:58 -0400
|
-- Joey Hess <joeyh@debian.org> Sun, 12 Dec 2010 13:14:58 -0400
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue