X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=configure;h=978b71e5c61bcacf44486984c266d27733c53798;hb=40ba69271b27beca78eb8e4dbc5b13c05100299a;hp=7d9b017252d9a0d77dc7fba62351bcc4c5dde7a3;hpb=0d39cbac6d688fb98d05c32acec699b25a599ead;p=vpp.git 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