diff options
-rwxr-xr-x | tests/runtests.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 586684482..402545a61 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; } |