diff --git a/run-tests b/run-tests index 3aabe86844a50e1990b28dfc87b05fb7168246b8..a15c744c656fcc4000f707807056d7df4a857f2d 100755 --- a/run-tests +++ b/run-tests @@ -4,6 +4,7 @@ failed=0 all=0 debug='no' +testflags='' if [ -z "$srcdir" ] ; then srcdir=`pwd` @@ -31,7 +32,7 @@ env_program () { test_program () { testname=`basename "$1" .exe` testname=`basename "$testname" -test` - "$1" + "$1" $testflags case "$?" in 0) echo PASS: $testname @@ -56,6 +57,9 @@ do --debug) debug=yes ;; + -v) + testflags='-v' + ;; -*) echo >&2 'Unknown option `'"$1'" exit 1