diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-10-17 23:04:43 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-10-20 16:20:42 -0400 |
| commit | 590fd490750e84c62d8669cb2db6885e26cc17cd (patch) | |
| tree | bb01e72ad1059c05b0848bc3c5b44623302cf809 /Makefile | |
| parent | 3165e815046787d47c283a32c7f87f504aceda9f (diff) | |
workaround for ghci fragility in reusing objects compiled with ghc
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -221,4 +221,8 @@ osxapp: rm -f tmp/git-annex.dmg.bz2 bzip2 tmp/git-annex.dmg +# used by ./ghci +getflags: + @echo $(ALLFLAGS) + .PHONY: $(bins) test install |