diff options
| -rwxr-xr-x | source4/script/tests/selftest.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/source4/script/tests/selftest.sh b/source4/script/tests/selftest.sh index 664fca1819..17e991cc72 100755 --- a/source4/script/tests/selftest.sh +++ b/source4/script/tests/selftest.sh @@ -152,9 +152,11 @@ echo "END: $END ($0)"; list=`find $PREFIX -name 'valgrind.log*'` if [ x$list != x ]; then for f in $PREFIX/valgrind.log*; do - echo "VALGRIND FAILURE"; - failed=`expr $failed + 1` - cat $f + if [ -s $f ]; then + echo "VALGRIND FAILURE"; + failed=`expr $failed + 1` + cat $f + fi done fi |