diff options
| author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-09-23 12:20:45 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-09-23 21:29:45 +0300 |
| commit | 2cdc292b3160e2bd80c3a9d24eff3afe29a2a46d (patch) | |
| tree | 913b0f2701759d62b0aca5d4899db6c970c3976e /.github | |
| parent | e0a2f5cbc585657e757385ad918f167f519cfb96 (diff) | |
Makefile: add SANITIZE=leak flag to GIT-BUILD-OPTIONS
When SANITIZE=leak is specified we'll now add a SANITIZE_LEAK flag to
GIT-BUILD-OPTIONS, this can then be picked up by the test-lib.sh,
which sets a SANITIZE_LEAK prerequisite.
We can then skip specific tests that are known to fail under
SANITIZE=leak, add one such annotation to t0004-unwritable.sh, which
now passes under SANITIZE=leak.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions