:: commit af28eee1bcfc6124adf49ae36c6c31119af84f4b
build: Prevent gensyms.sh from failing if pipefail is not supported by the shell
diff --git a/stage23/gensyms.sh b/stage23/gensyms.sh
index f7bc1f02..01628ba3 100755
--- a/stage23/gensyms.sh
+++ b/stage23/gensyms.sh
@@ -1,7 +1,8 @@
#!/bin/sh
set -e
-set -o pipefail || true
+
+./test_pipefail.sh && set -o pipefail
TMP1=$(mktemp)
TMP2=$(mktemp)
diff --git a/stage23/test_pipefail.sh b/stage23/test_pipefail.sh
new file mode 100755
index 00000000..c6a34fa1
--- /dev/null
+++ b/stage23/test_pipefail.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+set -e
+
+set -o pipefail 2>/dev/null
