diff --git a/tools/environment.sh b/tools/environment.sh index 4524e79..3d355df 100755 --- a/tools/environment.sh +++ b/tools/environment.sh @@ -1,6 +1,8 @@ #!/bin/bash -set -x +if [ "X$VERBOSE" -eq "X1" ]; then + set -x +fi try () { "$@" || exit -1