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