diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-02-28 16:03:35 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-02-28 16:03:35 -0400 |
| commit | 6c458c809b43cf027fca9380e9a115ff1d84e008 (patch) | |
| tree | 2cc785b964d13242ac62497f594505e6aab3b174 | |
| parent | b465e7b4157d351f625cd01a63fbf34d15223972 (diff) | |
remove Fast flag, pass -O0 to cabal
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | git-annex.cabal | 4 |
2 files changed, 1 insertions, 5 deletions
@@ -19,7 +19,7 @@ fast: dist/caballog @ln -sf dist/build/git-annex/git-annex git-annex dist/caballog: - cabal configure -f"-Production Fast" + cabal configure -f"-Production" -O0 cabal build -v2 | tee $@ Build/SysConfig.hs: configure.hs Build/TestConfig.hs Build/Configure.hs diff --git a/git-annex.cabal b/git-annex.cabal index 6ba9825a7..c1135464e 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -55,10 +55,6 @@ Flag DNS Flag Production Description: Enable production build (slower build; faster binary) -Flag Fast - Description: Faster build; slower binary - Default: False - Flag Android Description: Building for Android Default: False |