adjust fast build so that ./ghci works with ghc 7.8.4
This commit is contained in:
parent
5fea6dcab2
commit
a2fd8be337
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -269,7 +269,7 @@ fast: dist/caballog
|
||||||
@$(MAKE) tags >/dev/null 2>&1 &
|
@$(MAKE) tags >/dev/null 2>&1 &
|
||||||
|
|
||||||
dist/caballog: git-annex.cabal
|
dist/caballog: git-annex.cabal
|
||||||
$(CABAL) configure -f"-Production" -O0
|
$(CABAL) configure -f"-Production" -O0 --enable-executable-dynamic
|
||||||
$(CABAL) build -v2 | tee $@
|
$(CABAL) build -v2 | tee $@
|
||||||
|
|
||||||
# Hardcoded command line to make hdevtools start up and work.
|
# Hardcoded command line to make hdevtools start up and work.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue