From e3dedd3c89ffcdde994bafd9841aac2d5258b27c Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 24 Aug 2015 10:56:08 -0700 Subject: [PATCH] better android build fix --- git-annex.cabal | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/git-annex.cabal b/git-annex.cabal index 695940e1db..d085f23327 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