diff options
| author | Daniel Lange <DLange@git.local> | 2020-12-07 10:26:02 +0100 |
|---|---|---|
| committer | Daniel Lange <DLange@git.local> | 2020-12-07 10:26:02 +0100 |
| commit | d67ee86091f9e07f8d85c1fb77c7c58989e676bb (patch) | |
| tree | 900f5e62bfd8e8c082be75a94f5348dea819beba /scripts/run_valgrind.sh | |
| parent | 3cbc50cde37fee19ce98ee8260b0a6095b829c4c (diff) | |
| parent | 65357c8c46154de4e4eca14075bfe5523bb5fc14 (diff) | |
| download | debian_htop-d67ee86091f9e07f8d85c1fb77c7c58989e676bb.tar.gz debian_htop-d67ee86091f9e07f8d85c1fb77c7c58989e676bb.tar.bz2 debian_htop-d67ee86091f9e07f8d85c1fb77c7c58989e676bb.zip | |
Update upstream source from tag 'upstream/3.0.3'
Update to upstream version '3.0.3'
with Debian dir 8a3a733dc80e45b1cde220f88fcfd815869742f0
Diffstat (limited to 'scripts/run_valgrind.sh')
| -rwxr-xr-x | scripts/run_valgrind.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/run_valgrind.sh b/scripts/run_valgrind.sh new file mode 100755 index 0000000..c7c17ff --- /dev/null +++ b/scripts/run_valgrind.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +SCRIPT=$(readlink -f "$0") +SCRIPTDIR=$(dirname "$SCRIPT") + +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" |