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 bee2ba184..ac0006553 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -27,7 +27,7 @@ ghc --version cabal update cabal clean -cabal install -j4 -fserver -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' --install-method=copy --bindir=$ARTIFACTS +cabal install -j4 -fserver -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' --install-method=copy --installdir=$ARTIFACTS ls $ARTIFACTS # make deb for EXE |