mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
WebSetup.hs: always use gf -j, to avoid problems compiling the Phrasebook
This commit is contained in:
@@ -99,7 +99,7 @@ execute command args =
|
|||||||
|
|
||||||
numJobs flags =
|
numJobs flags =
|
||||||
if null n
|
if null n
|
||||||
then []
|
then ["-j=1"]
|
||||||
else ["-j="++n,"+RTS","-A20M","-N"++n,"-RTS"]
|
else ["-j="++n,"+RTS","-A20M","-N"++n,"-RTS"]
|
||||||
where
|
where
|
||||||
n = {-case buildNumJobs flags of
|
n = {-case buildNumJobs flags of
|
||||||
|
|||||||
Reference in New Issue
Block a user