JAVA=../../../src/cacao/cacao
fi
+if [ -z "$TIMEOUT" ] ; then
+ TIMEOUT=20
+fi
+
+if [ -n "$TIMEOUTPROG" ] ; then
+ if [ -x "$TIMEOUTPROG" ] ; then
+ echo "$0: using timeout program: $TIMEOUTPROG"
+ echo "$0: timeout value [s] : $TIMEOUT"
+ TIMEOUTRUN="$TIMEOUTPROG $TIMEOUT"
+ else
+ echo >&2 "$0: warning: timeout program not executable: $TIMEOUTPROG"
+ fi
+fi
+
+if [ -z "$TIMEOUTRUN" ] ; then
+ echo >&2 "$0: warning: running without timeout"
+fi
+
if [ "$1" = "--verbose" ] ; then
shift
VERBOSE=1
# run the test
- $JAVA $JAVAFLAGS "$TESTBASENAME" >"$TESTOUT" 2>"$TESTERR"
+ $TIMEOUTRUN $JAVA $JAVAFLAGS "$TESTBASENAME" >"$TESTOUT" 2>"$TESTERR"
TESTSTATUS=$?
if [ $TESTSTATUS -ne $EXPECTSTATUS ] ; then