diff options
Diffstat (limited to 'tests/symbol-scan.pl')
| -rwxr-xr-x | tests/symbol-scan.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/symbol-scan.pl b/tests/symbol-scan.pl index e8f594ee6..7905ee772 100755 --- a/tests/symbol-scan.pl +++ b/tests/symbol-scan.pl @@ -178,3 +178,6 @@ if($summary) { if($misses) { exit 2; # there are stuff to attend to! } +else { + print "OK\n"; +} |