| commit | 8453685d0437bd5ffc25f0bd3b5b07b12225119b | |
| author | Jeff King <peff@peff.net> | |
| Tue, 18 Oct 2022 20:15:33 +0000 (18 16:15 -0400) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Thu, 23 Mar 2023 08:17:23 +0000 (23 09:17 +0100) | ||
| tree | acf0ce1204d4fe7ec92163435334003e40a9c612 | treesnapshot (tar.gz zip) |
| parent | b7a92d078b9b9a39553623815699eb029074e39d | commitdiff |
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>
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>
| Makefile | diffblobblamehistory |