android ghc doesn't support -j flag, fix build

This commit is contained in:
Joey Hess 2015-08-24 10:54:00 -07:00
parent eb173757b4
commit 5ef4fe1746

View file

@ -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