diff --git a/utils/run-tests.sh b/utils/run-tests.sh index 7cd107abe5..256270342f 100755 --- a/utils/run-tests.sh +++ b/utils/run-tests.sh @@ -32,7 +32,7 @@ interrupt_exception() { usage() { local prog="${0##*/}" cat <