diff options
| author | John MacFarlane <[email protected]> | 2022-11-07 10:47:57 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-11-07 10:47:57 -0800 |
| commit | be7d4bd0923b41bc0cf4d91220e95e371a37b9cb (patch) | |
| tree | 00f5ced63f35e77ef99d8a6acb1d642a78f18829 /linux | |
| parent | ca46dc8a661fc2056041d22eb9320ffec8e605c9 (diff) | |
Fix CABALOPTS in make_artifacts.sh.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index e9262f271..8a80cd064 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -1,6 +1,6 @@ set -e -CABALOPTS=-f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' -j4 +CABALOPTS="-f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' -j4" MACHINE=$(uname -m) case "$MACHINE" in |