From 7a9e4c9073c9a06fa43130ecfd4790740327d415 Mon Sep 17 00:00:00 2001 From: guangli-dai Date: Mon, 2 Oct 2023 22:48:22 -0700 Subject: [PATCH] Mark jemalloc.h as system header to resolve header conflicts. --- include/jemalloc/jemalloc.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/include/jemalloc/jemalloc.sh b/include/jemalloc/jemalloc.sh index b19b1548..dacd6195 100755 --- a/include/jemalloc/jemalloc.sh +++ b/include/jemalloc/jemalloc.sh @@ -5,6 +5,7 @@ objroot=$1 cat <