From fa62239a5d38dea09cfe5cd4901231117d51810e Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 12 Mar 2023 13:26:54 -0700
Subject: More cirrus fixes.

---
 linux/make_artifacts.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'linux')

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)"
-- 
cgit v1.2.3