diff options
| -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 |