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/"