bin/svalgrind: add --quiet

diff --git a/bin/svalgrind b/bin/svalgrind
index 28f7f69c2c3c5d743718144a2f3bb56869c21aab..bcb68da2ad5d001910304d1c3a6648a7152ad00b 100755 (executable)
--- a/bin/svalgrind
+++ b/bin/svalgrind
@@ -19,4 +19,4 @@
 set -eu
 
 exec valgrind --leak-check=full --show-reachable=yes --error-exitcode=1 \
-              --track-fds=yes "$@"
+              --track-fds=yes --quiet "$@"