@echo
@echo '--------------------------------'
@echo 'Valgrind output is in:'
@echo 'tests/testsuite.dir/*/valgrind.*'
@echo '--------------------------------'
@echo
@echo '--------------------------------'
@echo 'Valgrind output is in:'
@echo 'tests/testsuite.dir/*/valgrind.*'
@echo '--------------------------------'