New -v option, propagated to test programs.

Rev: misc/run-tests:1.4

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