diff options
| author | John MacFarlane <[email protected]> | 2023-03-12 13:26:54 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-03-12 13:26:54 -0700 |
| commit | fa62239a5d38dea09cfe5cd4901231117d51810e (patch) | |
| tree | fa1fb4f1a45bb861e0390f30ecbc2715bc1a33e5 /linux/make_artifacts.sh | |
| parent | 692023cc454fe86bbcf08b27cb9601b47e324e8b (diff) | |
More cirrus fixes.
Diffstat (limited to 'linux/make_artifacts.sh')
| -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 e80ff01a3..02b0a9a22 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -1,9 +1,9 @@ #!/bin/bash set -e -cabal build $CABALOPTS pandoc-cli +cabal build $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli BINPATH=$(cabal -BINPATH=$(cabal list-bin $CABALOPTS pandoc-cli) +BINPATH=$(cabal list-bin $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli) echo "Built executable: $BINPATH" WORK="$(pwd)" |