diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-08-24 10:54:00 -0700 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-08-24 10:54:00 -0700 |
| commit | 25bca729eba033110a45bc8ca96a9be6dc18fc78 (patch) | |
| tree | 8cc0add39c320f5f285b2c2c5da7cba91d9c006c | |
| parent | 3fdef0f1ec02535e799f5bab8af439568fafe671 (diff) | |
android ghc doesn't support -j flag, fix build
| -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 |