diff options
author | Jeff King <peff@peff.net> | 2022-10-18 23:15:33 +0300 |
---|---|---|
committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2023-03-23 11:17:23 +0300 |
commit | 8453685d0437bd5ffc25f0bd3b5b07b12225119b (patch) | |
tree | acf0ce1204d4fe7ec92163435334003e40a9c612 /Documentation | |
parent | b7a92d078b9b9a39553623815699eb029074e39d (diff) |
Makefile: force -O0 when compiling with SANITIZE=leak
Cherry pick commit d3775de0 (Makefile: force -O0 when compiling with
SANITIZE=leak, 2022-10-18), as otherwise the leak checker at GitHub
Actions CI seems to fail with a false positive.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions