diff options
| author | hallgren <hallgren@chalmers.se> | 2014-11-27 17:48:53 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-11-27 17:48:53 +0000 |
| commit | b0f9ba0c8b51b1355283ebf7c43e5719a8004f5c (patch) | |
| tree | 0dd7f0303bf423996ab61c1a8228edbfa26e9454 /WebSetup.hs | |
| parent | 9ba5e6978be168e9f148ac37b38644d5ddafa9ff (diff) | |
WebSetup.hs: always use gf -j, to avoid problems compiling the Phrasebook
Diffstat (limited to 'WebSetup.hs')
| -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 |