diff --git a/WebSetup.hs b/WebSetup.hs index 91b436726..629d34327 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -99,7 +99,7 @@ execute command args = numJobs flags = if null n - then [] + then ["-j=1"] else ["-j="++n,"+RTS","-A20M","-N"++n,"-RTS"] where n = {-case buildNumJobs flags of