mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -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 =
|
||||
if null n
|
||||
then []
|
||||
then ["-j=1"]
|
||||
else ["-j="++n,"+RTS","-A20M","-N"++n,"-RTS"]
|
||||
where
|
||||
n = {-case buildNumJobs flags of
|
||||
|
||||
Reference in New Issue
Block a user