summary refs log tree commit diff
path: root/www/git.causal.agency/cgit/tests/valgrind
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2020-12-27 18:45:04 -0500
committerJune McEnroe <june@causal.agency>2020-12-27 18:45:35 -0500
commit7b715a386a625ea3cf92b1281a4392e2473b830a (patch)
tree9353eea94b35e91f229be03061835b8fb788570a /www/git.causal.agency/cgit/tests/valgrind
parentRemove 1sh (diff)
parentSquashed 'www/git.causal.agency/cgit/' content from commit 02221fd3 (diff)
downloadsrc-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-xwww/git.causal.agency/cgit/tests/valgrind/bin/cgit12
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" "$@"