summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJeff King <peff@peff.net>2022-10-18 22:15:33 +0200
committerJunio C Hamano <gitster@pobox.com>2022-10-28 00:12:22 +0200
commit86fa96860b42d13dac3b1023817dfc177a91324c (patch)
treee6e58f37eea7c8431e8e79a563f63532908b2a34
parentDownmerge a handful of topics for 2.38.2 (diff)
downloadgit-86fa96860b42d13dac3b1023817dfc177a91324c.tar.xz
git-86fa96860b42d13dac3b1023817dfc177a91324c.zip
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>
Diffstat (limited to '')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index cac3452edb..aa615fe4b6 100644
--- a/Makefile
+++ b/Makefile
@@ -1338,6 +1338,7 @@ BASIC_CFLAGS += -DSHA1DC_FORCE_ALIGNED_ACCESS
endif
ifneq ($(filter leak,$(SANITIZERS)),)
BASIC_CFLAGS += -DSUPPRESS_ANNOTATED_LEAKS
+BASIC_CFLAGS += -O0
SANITIZE_LEAK = YesCompiledWithIt
endif
ifneq ($(filter address,$(SANITIZERS)),)