From a6a5686388319150754a620f38d65e9d6ccb9344 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= Date: Wed, 25 Nov 2020 22:05:12 +0100 Subject: [PATCH] Track file descriptors in valgrind script --- scripts/run_valgrind.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/run_valgrind.sh b/scripts/run_valgrind.sh index f635b93b..c7c17ff5 100755 --- a/scripts/run_valgrind.sh +++ b/scripts/run_valgrind.sh @@ -3,4 +3,4 @@ SCRIPT=$(readlink -f "$0") SCRIPTDIR=$(dirname "$SCRIPT") -valgrind --leak-check=full --show-reachable=yes --show-leak-kinds=all --errors-for-leak-kinds=all --suppressions="${SCRIPTDIR}/htop_suppressions.valgrind" "${SCRIPTDIR}/../htop" +valgrind --leak-check=full --show-reachable=yes --show-leak-kinds=all --track-fds=yes --errors-for-leak-kinds=all --suppressions="${SCRIPTDIR}/htop_suppressions.valgrind" "${SCRIPTDIR}/../htop"