diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-02-27 02:39:22 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-02-27 02:39:22 -0400 |
| commit | a06989c1aeaf6463e554131993c5cb395d3f08bd (patch) | |
| tree | a180b379cce80e8d4fa94cd4a15b5052316fddec /.gitignore | |
| parent | 8ba6b0d9bc54656eb0d8d45adf94561f6350e792 (diff) | |
Makefile now builds using cabal, taking advantage of cabal's automatic detection of appropriate build flags.
The only thing lost is ./ghci
Speed: make fast used to take 20 seconds here, when rebuilding from
touching Command/Unused.hs. With cabal, it's 29 seconds.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index e4cb43383..69650caa1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,5 @@ tmp test -configure build-stamp Build/SysConfig.hs git-annex @@ -11,9 +10,6 @@ doc/.ikiwiki html *.tix .hpc -Utility/Touch.hs -Utility/Mounts.hs -Utility/*.o dist # Sandboxed builds cabal-dev |