diff options
Diffstat (limited to 'WebSetup.hs')
| -rw-r--r-- | WebSetup.hs | 6 |
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 - _ -> "" + _ ->-} "" |
