summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamjan Marion <damarion@cisco.com>2021-05-28 17:32:58 +0200
committerDamjan Marion <damarion@cisco.com>2021-05-28 17:33:49 +0200
commitd63360cacca91e243a9bff70a7fd12df9c6cf95f (patch)
tree4827ac7ec0a29ea116fc79517a255ea11f4e4b53
parent79e087fb0a4f075c478d3d56ee3d39396f5f827d (diff)
build: bash set in ./configure
Type: make Change-Id: I29dce242579d130afe031715b328d6bba73ec6dd Signed-off-by: Damjan Marion <damarion@cisco.com>
-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