diff options
-rw-r--r-- | git-annex.cabal | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index d085f2332..c320f718b 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -157,11 +157,6 @@ Executable git-annex -- because ghc is known to not yield reproducible builds this way. if flag(Production) GHC-Options: -O2 - if ! flag(Android) - GHC-Options: -j1 - else - if ! flag(Android) - GHC-Options: -j if (os(windows)) Build-Depends: Win32, Win32-extras, unix-compat (>= 0.4.1.3), setenv |