mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

better android build fix

Browse source
This commit is contained in:
Joey Hess 2015-08-24 10:56:08 -07:00
parent 384e435adf
commit e3dedd3c89
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
git-annex.cabal
View file

@ -156,9 +156,11 @@ 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
if ! flag(Android)
GHC-Options: -j
if (os(windows))