diff options
| author | John MacFarlane <[email protected]> | 2022-11-07 13:20:23 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-11-07 13:20:23 -0800 |
| commit | dee186be7d90583dbe25f318d99c30b3a61345dd (patch) | |
| tree | cda2a4a637633cb816b2c997e599b819253c2965 /linux/make_artifacts.sh | |
| parent | bf941efb2899c4098d605d7119d306fd2b34602a (diff) | |
make_artifacts.sh: add quotes.
Diffstat (limited to 'linux/make_artifacts.sh')
| -rw-r--r-- | linux/make_artifacts.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 3b0507a8a..f7d76948a 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -1,7 +1,7 @@ set -e -CABALOPTS=-f-export-dynamic -fembed_data_files --enable-executable-static -j4 -GHCOPTS=-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread +CABALOPTS="-f-export-dynamic -fembed_data_files --enable-executable-static -j4" +GHCOPTS="-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread" MACHINE=$(uname -m) case "$MACHINE" in |