diff options
author | Christian Göttsche <cgzones@googlemail.com> | 2020-11-25 22:05:12 +0100 |
---|---|---|
committer | Christian Göttsche <cgzones@googlemail.com> | 2020-11-25 22:09:39 +0100 |
commit | a6a5686388319150754a620f38d65e9d6ccb9344 (patch) | |
tree | 3c5b7866c39674e8f7c707527738eefa08ac3feb | |
parent | 9b31ee5b63f2559d102a743082fe97440e5dc895 (diff) |
Track file descriptors in valgrind script
-rwxr-xr-x | scripts/run_valgrind.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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" |