diff options
| -rw-r--r-- | WebSetup.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/WebSetup.hs b/WebSetup.hs index 0f2d24b7d..b4b6520ea 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -97,6 +97,9 @@ execute command args = where showArg arg = if ' ' `elem` arg then "'" ++ arg ++ "'" else arg +-- | This function is used to enable parallel compilation of the RGL and +-- example grammars, but it is commented out by default +-- to avoid casing problems for developers using Cabal<1.20 numJobs flags = if null n then ["-j=1"] |