diff options
| author |   Damjan Marion <damarion@cisco.com> | 2021-05-28 17:32:58 +0200 |
|---|---|---|
| committer | Damjan Marion <damarion@cisco.com> | 2021-05-28 17:33:49 +0200 |
| commit | d63360cacca91e243a9bff70a7fd12df9c6cf95f (patch) | |
| tree | 4827ac7ec0a29ea116fc79517a255ea11f4e4b53 | |
| parent | 79e087fb0a4f075c478d3d56ee3d39396f5f827d (diff) | |
build: bash set in ./configure
Type: make
Change-Id: I29dce242579d130afe031715b328d6bba73ec6dd
Signed-off-by: Damjan Marion <damarion@cisco.com>
| -rwxr-xr-x | configure | 1 |
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 |