mirror of https://github.com/getdnsapi/getdns.git
Old valgrind travis-ci (test mode 3)
This commit is contained in:
parent
ede4afc7b6
commit
532c26d7c8
|
@ -18,6 +18,12 @@ EOT
|
|||
exit 1
|
||||
fi
|
||||
) 2>&1 > output
|
||||
echo '**************************************'
|
||||
echo '************** hiero ***************'
|
||||
echo '************** ***************'
|
||||
awk '/^==.*(definitely|indirectly|possibly) lost/{print;if($4>0)exit(1)}' output
|
||||
echo '************** ***************'
|
||||
echo '************** hiero ***************'
|
||||
echo '**************************************'
|
||||
cat output
|
||||
exit 1
|
||||
|
|
Loading…
Reference in New Issue