do not redirect input from /dev/tty

diff --git a/tests/TESTrun.sh b/tests/TESTrun.sh
index 5a93b142e4b98a28534b8fd8df85ccf530f0823d..a7529a59fe780a9795c3a237b6bf79c3ee13c26f 100755 (executable)
--- a/tests/TESTrun.sh
+++ b/tests/TESTrun.sh
@@ -51,7 +51,7 @@ runSimpleTests()
     passed=`cat ${passedfile}`
     failed=`cat ${failedfile}`
     (
-    if ${srcdir}/tests/TESTonce $name ${srcdir}/tests/$input ${srcdir}/tests/$output "$options" </dev/tty
+    if ${srcdir}/tests/TESTonce $name ${srcdir}/tests/$input ${srcdir}/tests/$output "$options" 
     then
       passed=`expr $passed + 1`
       echo $passed >${passedfile}