diff options
author | Peter Simons <simons@cryp.to> | 2013-02-28 11:41:05 +0100 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-02-28 16:02:54 -0400 |
commit | b465e7b4157d351f625cd01a63fbf34d15223972 (patch) | |
tree | 9f9e1a20768f1917ecc47e3fb04c2851c4a61922 | |
parent | a767040a53182cde16434cba686252bbaf776cf9 (diff) |
git-annex.cabal: let the 'Fast' flag default to 'False' unless it's explicitly specified
The current use of the 'Fast' and 'Production' flags is both inconsistent and
redundant. It's inconsistent, because users are allowed to specify both '-fFast
-fProduction' at the same time -- thereby enabling two contradicting features.
The flags are redundant, because Cabal allows users to specify '-O0' at
configure time, which is essentially the same as '-fFast'. Since 'Production'
is just the opposite of 'Fast', this means that neither flag is needed.
-rw-r--r-- | git-annex.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 79e49bd3b..6ba9825a7 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -57,6 +57,7 @@ Flag Production Flag Fast Description: Faster build; slower binary + Default: False Flag Android Description: Building for Android |