diff options
Diffstat (limited to 'source4')
| -rwxr-xr-x | source4/script/tests/selftest.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source4/script/tests/selftest.sh b/source4/script/tests/selftest.sh index 17e991cc72..b102bf20fe 100755 --- a/source4/script/tests/selftest.sh +++ b/source4/script/tests/selftest.sh @@ -149,8 +149,8 @@ echo "START: $START ($0)"; echo "END: $END ($0)"; # if there were any valgrind failures, show them -list=`find $PREFIX -name 'valgrind.log*'` -if [ x$list != x ]; then +count=`find $PREFIX -name 'valgrind.log*' | wc -l` +if [ "$count" != 0 ]; then for f in $PREFIX/valgrind.log*; do if [ -s $f ]; then echo "VALGRIND FAILURE"; |