diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 370092a10..1acdf4a91 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -27,8 +27,7 @@ ghc --version cabal update cabal clean -cabal configure -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' pandoc -cabal build -j4 +cabal build -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' -j4 all for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f $ARTIFACTS/; done # Confirm that we have static builds |