diff options
Diffstat (limited to 'git-annex.cabal')
| -rw-r--r-- | git-annex.cabal | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 5431d6ddc..8903839bb 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -152,8 +152,13 @@ Executable git-annex else Build-Depends: cryptohash (>= 0.11.0) + -- Fully optimize for production. + -- Parallel builds only when not building for production, + -- because ghc is known to not yield reproducible builds this way. if flag(Production) - GHC-Options: -O2 + GHC-Options: -O2 -j1 + else + GHC-Options: -j if (os(windows)) Build-Depends: Win32, Win32-extras, unix-compat (>= 0.4.1.3), setenv |