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 | cbd53b4a8c828e31be1b25eaa2f5d2aca40e1c2c (patch) | |
tree | 24abb78d8594dd0f726c48f0131983c98f939904 /.gitignore | |
parent | 32aee1bb3e0cfc420963eff2f8bd50a6f4f5ed79 (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 e4cb433833..69650caa1a 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 |