diff options
| -rw-r--r-- | linux/make_artifacts.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 043b3f9f2..cb7bf4c8c 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -26,9 +26,9 @@ ghc --version cabal v2-update cabal v2-clean -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-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' pandoc cabal v2-build -cabal v2-test -j1 +cabal v2-test -j4 for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f /artifacts/; done # make deb |