diff --git a/tools/environment.sh b/tools/environment.sh index 3d355df..0da3c28 100755 --- a/tools/environment.sh +++ b/tools/environment.sh @@ -1,6 +1,6 @@ #!/bin/bash -if [ "X$VERBOSE" -eq "X1" ]; then +if [ "X$VERBOSE" == "X1" ]; then set -x fi