diff options
| author | June McEnroe <june@causal.agency> | 2022-02-14 22:44:50 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2022-02-14 22:44:50 -0500 |
| commit | 87e72f9f7f22f082346013e4fdd02cb2b622ab23 (patch) | |
| tree | e05045df8a811baf1f884f89e83ed781397712e9 /www/git.causal.agency/cgit/tests/valgrind/bin | |
| parent | Narrow filter (diff) | |
| download | src-87e72f9f7f22f082346013e4fdd02cb2b622ab23.tar.gz src-87e72f9f7f22f082346013e4fdd02cb2b622ab23.zip | |
Remove cgit
My fork of cgit is now <https://git.causal.agency/cgit-pink/>.
Diffstat (limited to 'www/git.causal.agency/cgit/tests/valgrind/bin')
| -rwxr-xr-x | www/git.causal.agency/cgit/tests/valgrind/bin/cgit | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/www/git.causal.agency/cgit/tests/valgrind/bin/cgit b/www/git.causal.agency/cgit/tests/valgrind/bin/cgit deleted file mode 100755 index dcdfbe53..00000000 --- a/www/git.causal.agency/cgit/tests/valgrind/bin/cgit +++ /dev/null @@ -1,12 +0,0 @@ -#!/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" "$@" |