From b0f9ba0c8b51b1355283ebf7c43e5719a8004f5c Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 27 Nov 2014 17:48:53 +0000 Subject: [PATCH] WebSetup.hs: always use gf -j, to avoid problems compiling the Phrasebook --- WebSetup.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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