summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 7d9b017252d..978b71e5c61 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,5 @@
#!/usr/bin/env bash
+set -o pipefail -o errtrace -o nounset -o errexit
# Experimental script, please consult with dmarion@me.com before
# submitting any changes