diff options
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 34c0bd082..f0ff00f1a 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 --ghc-options '-optc-Os -optl=-pthread' pandoc +cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-split-sections -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 |