echo "FAILED"; cat .tmp.valg; exit 1; fi ; \
if grep 'LEAK SUMMARY' .tmp.valg > /dev/null; then \
echo "valgrind found LEAKS"; cat .tmp.valg ; exit 1 ; fi; \
echo "FAILED"; cat .tmp.valg; exit 1; fi ; \
if grep 'LEAK SUMMARY' .tmp.valg > /dev/null; then \
echo "valgrind found LEAKS"; cat .tmp.valg ; exit 1 ; fi; \