build: bash set in ./configure

Type: make Change-Id: I29dce242579d130afe031715b328d6bba73ec6dd Signed-off-by: Damjan Marion <damarion@cisco.com>
2021-05-28 17:32:58 +02:00
parent 79e087fb0a
commit d63360cacc
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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