From 50b5d6c32be0d0244c136e12ba141b54323eea39 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Fri, 20 Oct 2023 11:20:34 -0400
Subject: [PATCH] Ha, and pipefail doesn't exist on the neutered sh.

---
 justfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/justfile b/justfile
index f3c004d5..b8177b19 100644
--- a/justfile
+++ b/justfile
@@ -52,7 +52,7 @@ _clone-test-dependencies: _clean-test-dependencies
 # Rebuild some test fixtures used in the test suite.
 _rebuild-test-fixtures:
     #!/usr/bin/env sh
-    set -euxo pipefail
+    set -eux
     cd "{{ fixtures }}/example-lean3-project/"
     leanpkg help 2>&1 >/dev/null && leanpkg build || echo "Lean 3 not found."
     cd "{{ fixtures }}/example-lean4-project/"