From 272e0d76b21c5660bbe58aeea57bf9f65a796477 Mon Sep 17 00:00:00 2001 From: Jade Abraham Date: Fri, 15 Nov 2024 16:10:18 -0600 Subject: [PATCH] update comment Signed-off-by: Jade Abraham --- third-party/mimalloc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third-party/mimalloc/Makefile b/third-party/mimalloc/Makefile index 9477371cb2bd..13c20781b926 100644 --- a/third-party/mimalloc/Makefile +++ b/third-party/mimalloc/Makefile @@ -14,7 +14,7 @@ CHPL_MIMALLOC_CFG_OPTIONS += \ -DMI_BUILD_TESTS=OFF \ -DMI_BUILD_OBJECT=OFF -# if host, build shared, otherwise just build static +# if host, build shared and static, otherwise just build static ifeq ($(strip $(CHPL_MAKE_HOST_TARGET)),--host) CHPL_MIMALLOC_CFG_OPTIONS += -DMI_BUILD_SHARED=ON -DMI_BUILD_STATIC=ON else