From: Damjan Marion <damarion@cisco.com>
Date: Fri, 28 May 2021 15:32:58 +0000 (+0200)
Subject: build: bash set in ./configure
X-Git-Tag: v22.02-rc0~366
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=d63360cacca91e243a9bff70a7fd12df9c6cf95f;p=vpp.git

build: bash set in ./configure

Type: make
Change-Id: I29dce242579d130afe031715b328d6bba73ec6dd
Signed-off-by: Damjan Marion <damarion@cisco.com>
---

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