aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/runtests.pl4
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;
}