aboutsummaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-11-18 19:02:04 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2020-11-18 19:02:04 -0800
commit7fa4d367bb2d083ea865e22b4439b321cfbc3011 (patch)
tree821789f893056f7ba333dbdda1bd1625145fc0d1 /linux
parent2002481aee898caba7f1233c3b51b442d219ab1d (diff)
downloadpandoc-7fa4d367bb2d083ea865e22b4439b321cfbc3011.tar.gz
Re-add -optc-Os to static linux build, because it makes binary smaller.
Diffstat (limited to 'linux')
-rw-r--r--linux/make_artifacts.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh
index f0840b77f..34c0bd082 100644
--- a/linux/make_artifacts.sh
+++ b/linux/make_artifacts.sh
@@ -16,7 +16,7 @@ ghc --version
cabal v2-update
cabal v2-clean
-cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static pandoc
+cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-optc-Os -optl=-pthread' pandoc
cabal v2-build
cabal v2-test -j1
for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f /artifacts/; done