diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-11-18 19:02:04 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-11-18 19:02:04 -0800 |
commit | 7fa4d367bb2d083ea865e22b4439b321cfbc3011 (patch) | |
tree | 821789f893056f7ba333dbdda1bd1625145fc0d1 /linux/make_artifacts.sh | |
parent | 2002481aee898caba7f1233c3b51b442d219ab1d (diff) | |
download | pandoc-7fa4d367bb2d083ea865e22b4439b321cfbc3011.tar.gz |
Re-add -optc-Os to static linux build, because it makes binary smaller.
Diffstat (limited to 'linux/make_artifacts.sh')
-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 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 |