summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2014-08-25 11:22:20 +0000
committerhallgren <hallgren@chalmers.se>2014-08-25 11:22:20 +0000
commita494c713e1500419c96a2ae86fa4edd34af90118 (patch)
tree9f1d285a2019312bdb0f1131136e74dc815adaac
parentd84c5ef1715c3e4aed4098ee9c847e2dcc86cba4 (diff)
Setup.hs: disable parallel RGL build support for now, since it is incompatible with Cabal<1.20
-rw-r--r--WebSetup.hs6
1 files changed, 3 insertions, 3 deletions
diff --git a/WebSetup.hs b/WebSetup.hs
index 80f5fe454..91b436726 100644
--- a/WebSetup.hs
+++ b/WebSetup.hs
@@ -100,8 +100,8 @@ execute command args =
numJobs flags =
if null n
then []
- else ["-j=8"++n,"+RTS","-A20M","-N"++n,"-RTS"]
+ else ["-j="++n,"+RTS","-A20M","-N"++n,"-RTS"]
where
- n = case buildNumJobs flags of
+ n = {-case buildNumJobs flags of
Flag mn | mn/=Just 1-> maybe "" show mn
- _ -> ""
+ _ ->-} ""