diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-05-14 14:47:53 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-05-14 14:47:53 -0400 |
| commit | 76e69deadf246c95ac4a49b7b72af49a742d235b (patch) | |
| tree | a3abe68dd8c5c67afeebdc312e358ec8b34a21ce /Makefile | |
| parent | 5445c78ce13fab97df3d34fdbd40fd80855aa3d9 (diff) | |
adjust fast build so that ./ghci works with ghc 7.8.4
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -269,7 +269,7 @@ fast: dist/caballog @$(MAKE) tags >/dev/null 2>&1 & dist/caballog: git-annex.cabal - $(CABAL) configure -f"-Production" -O0 + $(CABAL) configure -f"-Production" -O0 --enable-executable-dynamic $(CABAL) build -v2 | tee $@ # Hardcoded command line to make hdevtools start up and work. |