diff options
-rw-r--r-- | git-annex.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 5c4153a0f..695940e1d 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -156,7 +156,8 @@ Executable git-annex -- 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 -j1 + if ! flag(Android) + GHC-Options: -O2 -j1 else GHC-Options: -j |