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 | 18546c04022491509bd87745da5fe0a89de1ba4a (patch) | |
tree | 2221abdae57ff3ff0d9632b4bd22df117234eed2 /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-18546c04022491509bd87745da5fe0a89de1ba4a.tar.gz src-18546c04022491509bd87745da5fe0a89de1ba4a.zip |
Merge commit '6169012d588458b9dbbbea56528d5e3669596c80' as 'www/git.causal.agency/cgit'
From tag 'v1.2.3'.
Diffstat (limited to 'www/git.causal.agency/cgit/tests/valgrind')
-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" "$@" |