diff options
Diffstat (limited to 'source4')
| -rwxr-xr-x | source4/script/tests/selftest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source4/script/tests/selftest.sh b/source4/script/tests/selftest.sh index a6b1cb7fc3..5b62af08a9 100755 --- a/source4/script/tests/selftest.sh +++ b/source4/script/tests/selftest.sh @@ -129,7 +129,7 @@ echo "END: $END ($ARG0)"; count=`find $PREFIX -name 'valgrind.log*' | wc -l` if [ "$count" != 0 ]; then for f in $PREFIX/valgrind.log*; do - if [ -s $f ]; then + if [ -s $f ] && grep -v DWARF2.CFI.reader $f > /dev/null; then echo "VALGRIND FAILURE"; failed=`expr $failed + 1` cat $f |