From 5a711ebd23a81082ec3378c5ffaaecf8a7233188 Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Sun, 9 Jun 2019 02:01:35 +0200 Subject: [PATCH] add -v option when running within valgrind --- src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile b/src/Makefile index a4074917..50b35d38 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1231,7 +1231,7 @@ uninstall : endif valgrind: $(BIN) - valgrind --suppressions=../valgrind.grafx2.suppr --leak-check=full --show-leak-kinds=all --num-callers=20 $(BIN) + valgrind --suppressions=../valgrind.grafx2.suppr --leak-check=full --show-leak-kinds=all --num-callers=20 $(BIN) -v doc: doxygen