diff options
| author | hallgren <hallgren@chalmers.se> | 2015-06-23 10:22:35 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-06-23 10:22:35 +0000 |
| commit | 984c09923ce5de629f111584f741b44c5e5eddd6 (patch) | |
| tree | a81607a105c32d745c745fd789e003ca833c7a58 | |
| parent | 72237e6fff674c154dbe98efcdb0136355025cdb (diff) | |
WebSetup.hs: a note about parallel builds
| -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"] |