diff options
Diffstat (limited to 'configure.sh')
-rw-r--r-- | configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index dffbb92..1555570 100644 --- a/configure.sh +++ b/configure.sh @@ -1,7 +1,9 @@ #! /bin/bash # Set up shell -set -x # Output commands +if [ "$(echo ${VERBOSE} | tr '[:upper:]' '[:lower:]')" = 'yes' ]; then + set -x # Output commands +fi set -e # Abort on errors |