fix a sanitizer undefined issue (#4553)

Signed-off-by: zhenweijin <zhenwei.jin@intel.com>
This commit is contained in:
Zhenwei Jin 2025-08-13 08:14:12 +08:00 committed by GitHub
parent d95b0e3d46
commit f916eaa197
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -146,7 +146,7 @@ include (${WAMR_ROOT_DIR}/build-scripts/package.cmake)
# Sanitizers
if (NOT DEFINED WAMR_BUILD_SANITIZER)
set(WAMR_BUILD_SANITIZER $ENV{WAMR_BUILD_SANITIZER})
set(WAMR_BUILD_SANITIZER "$ENV{WAMR_BUILD_SANITIZER}")
endif()
if (NOT WAMR_BUILD_SANITIZER STREQUAL "")