aboutsummaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-11-18 17:49:41 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2020-11-18 17:49:41 -0800
commit2002481aee898caba7f1233c3b51b442d219ab1d (patch)
tree7723d4948dfe4ea3d94d4a4564a78381e21f272c /linux
parente17f970ed03e8faf206aa4f249c1947f53c28fda (diff)
downloadpandoc-2002481aee898caba7f1233c3b51b442d219ab1d.tar.gz
Simplify options for building static linux binary.
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 138c95cef..f0840b77f 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 -fstatic -fembed_data_files --enable-executable-static --ghc-options '-optc-Os -optl=-pthread -split-sections' pandoc
+cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static 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