diff --git a/pub/test/run b/pub/test/run index b5abbc4ca7243008e38a27cce665e31f2ef07261..684450f243018a53baf79e617639d5e4c1645924 100755 --- a/pub/test/run +++ b/pub/test/run @@ -3,7 +3,7 @@ COUNTER=0 rm -f log.tmp for I in *.f2t; do - $I >> log.tmp + ./$I >> log.tmp if [ $? = 1 ]; then echo "passed $I" else