opensource/pandoc
3
0
Fork 0
mirror of https://github.com/jgm/pandoc.git synced 2026-08-29 01:41:20 +08:00
Code Issues Packages Projects Releases Wiki Activity

make_artifacts.sh: add quotes.

Browse Source
This commit is contained in:
John MacFarlane
2022-11-07 13:20:23 -08:00
parent bf941efb28
commit dee186be7d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
linux/make_artifacts.sh
+2 -2
View File
@@ -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