diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-08-24 10:56:08 -0700 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-08-24 10:56:08 -0700 |
commit | 95576375abce8db548da8b71470251bb3d9bdb16 (patch) | |
tree | 58a4069a628f0d1f7b7cbe4bef2781bbb0bcdb8b | |
parent | 52220a8a81da389902a9fad38c72034bd711ecb2 (diff) |
better android build fix
-rw-r--r-- | git-annex.cabal | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/git-annex.cabal b/git-annex.cabal index 695940e1d..d085f2332 100644 --- a/git-annex.cabal +++ b/git-annex.cabal @@ -156,10 +156,12 @@ 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 if ! flag(Android) - GHC-Options: -O2 -j1 + GHC-Options: -j1 else - GHC-Options: -j + if ! flag(Android) + GHC-Options: -j if (os(windows)) Build-Depends: Win32, Win32-extras, unix-compat (>= 0.4.1.3), setenv |