diff --git a/src/tests.sh b/src/tests.sh index 888f4f0..ac7d019 100755 --- a/src/tests.sh +++ b/src/tests.sh @@ -20,7 +20,7 @@ fail() { check() { local output if (($VALGRIND == 1)); then - local output=$(valgrind --leak-check=full --track-origins=yes ./pebblisp "$2") + local output=$(valgrind -q --leak-check=full --track-origins=yes ./pebblisp "$2") else local output=$(./pebblisp "$2") fi