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 /Types.hs | |
| 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.
Diffstat (limited to 'Types.hs')
0 files changed, 0 insertions, 0 deletions