Ha, and pipefail doesn't exist on the neutered sh.

Julian · Oct 20, 2023 · 50b5d6c · 50b5d6c
1 parent 3db2e57
commit 50b5d6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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/"