diff options
| author | John MacFarlane <[email protected]> | 2023-08-31 12:45:14 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-08-31 12:45:14 -0700 |
| commit | 104b3bacda20edd4c283e0097c24b007aeacbf55 (patch) | |
| tree | 2d5cf2c6576b2b64db9ee0a0b3ba83485d037f4f | |
| parent | ccf72ddbd3fec31c64eff7fe3c5e088252dad5b9 (diff) | |
Add cabal update and clean to make_artifacts.sh.3.1.7
| -rw-r--r-- | linux/make_artifacts.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 6d3c48954..15718aa22 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -1,6 +1,8 @@ #!/bin/bash set -e +cabal update +cabal clean cabal build $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli BINPATH=$(cabal list-bin $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli) echo "Built executable: $BINPATH" |