diff options
| -rw-r--r-- | WebSetup.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |