From 3626724817e0d97e376d11c3f005ebdb8ea191f7 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 12 Mar 2023 15:48:48 -0700
Subject: Cirrus: Use bash to run linux build script.

Needed for pushd, popd.
---
 .cirrus.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index f4b5fd09f..c3fc40966 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -41,6 +41,6 @@ task:
   upload_caches:
     - cabal_store
   package_script:
-    - sh linux/make_artifacts.sh
+    - bash linux/make_artifacts.sh
   release_candidate_artifacts:
     path: ./linux/artifacts/*
-- 
cgit v1.2.3