diff --git a/tests/run.sh b/tests/run.sh index 1a73f097c..b9ee03752 100755 --- a/tests/run.sh +++ b/tests/run.sh @@ -19,13 +19,17 @@ export HOME=/dev/null usage() { cat >&2 < 3s. while true; do set +e @@ -144,9 +145,7 @@ wait_until_success() { fi sleep 0.05 done - if [ "$VERBOSE" = 1 ]; then - set -x - fi + if [[ $verbose ]]; then set -x; fi } # Wait for DISPLAY to be available, and setup xrdb,