diff options
author | June McEnroe <june@causal.agency> | 2020-12-27 18:45:04 -0500 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2020-12-27 18:45:35 -0500 |
commit | 7b715a386a625ea3cf92b1281a4392e2473b830a (patch) | |
tree | 9353eea94b35e91f229be03061835b8fb788570a /www/git.causal.agency/cgit/tests/valgrind | |
parent | Remove 1sh (diff) | |
parent | Squashed 'www/git.causal.agency/cgit/' content from commit 02221fd3 (diff) | |
download | src-7b715a386a625ea3cf92b1281a4392e2473b830a.tar.gz src-7b715a386a625ea3cf92b1281a4392e2473b830a.zip |
Merge commit '85016e706cd00e527dba3fa83b2783dfb56a4ffa' as 'www/git.causal.agency/cgit'
From tag 'v1.2.3'.
Diffstat (limited to '')
-rwxr-xr-x | www/git.causal.agency/cgit/tests/valgrind/bin/cgit | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/www/git.causal.agency/cgit/tests/valgrind/bin/cgit b/www/git.causal.agency/cgit/tests/valgrind/bin/cgit new file mode 100755 index 00000000..dcdfbe53 --- /dev/null +++ b/www/git.causal.agency/cgit/tests/valgrind/bin/cgit @@ -0,0 +1,12 @@ +#!/bin/sh + +# Note that we currently use Git's suppression file and there are variables +# $GIT_VALGRIND and $CGIT_VALGRIND which point to different places. +exec valgrind -q --error-exitcode=126 \ + --suppressions="$GIT_VALGRIND/default.supp" \ + --gen-suppressions=all \ + --leak-check=no \ + --track-origins=yes \ + --log-fd=4 \ + --input-fd=4 \ + "$CGIT_VALGRIND/../../cgit" "$@" |