diff --git a/tests/runtests.pl b/tests/runtests.pl index 586684482e..402545a619 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -1394,6 +1394,10 @@ sub singletest { } else { $CMDLINE="$LIBDIR/$tool"; + if(! -f $CMDLINE) { + print "The tool set in the test case for this: '$tool' does not exist\n"; + return -1; + } $DBGCURL=$CMDLINE; }