diff options
Diffstat (limited to 'tests/runtests.pl')
-rwxr-xr-x | tests/runtests.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index eec07406f..0ba5d8bc1 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -1058,6 +1058,7 @@ sub singletest { chomp $why; } } + print "prechecked $cmd\n" if($verbose); } if($why) { |