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