From d63360cacca91e243a9bff70a7fd12df9c6cf95f Mon Sep 17 00:00:00 2001 From: Damjan Marion Date: Fri, 28 May 2021 17:32:58 +0200 Subject: build: bash set in ./configure Type: make Change-Id: I29dce242579d130afe031715b328d6bba73ec6dd Signed-off-by: Damjan Marion --- configure | 1 + 1 file changed, 1 insertion(+) (limited to 'configure') 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 -- cgit 1.2.3-korg