summaryrefslogtreecommitdiffstatshomepage
path: root/3rdparty/asmjit/tools/configure-sanitizers.sh
diff options
context:
space:
mode:
Diffstat (limited to '3rdparty/asmjit/tools/configure-sanitizers.sh')
-rwxr-xr-x[-rw-r--r--]3rdparty/asmjit/tools/configure-sanitizers.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/3rdparty/asmjit/tools/configure-sanitizers.sh b/3rdparty/asmjit/tools/configure-sanitizers.sh
index a9f64969b70..d35b9a4cad3 100644..100755
--- a/3rdparty/asmjit/tools/configure-sanitizers.sh
+++ b/3rdparty/asmjit/tools/configure-sanitizers.sh
@@ -11,3 +11,7 @@ echo ""
echo "== [Configuring Build - Release_UBSAN] =="
eval cmake "${CURRENT_DIR}/.." -B "${BUILD_DIR}/Release_UBSAN" ${BUILD_OPTIONS} -DCMAKE_BUILD_TYPE=Release -DASMJIT_SANITIZE=undefined
echo ""
+
+echo "== [Configuring Build - Release_MSAN] =="
+eval cmake "${CURRENT_DIR}/.." -B "${BUILD_DIR}/Release_MSAN" ${BUILD_OPTIONS} -DCMAKE_BUILD_TYPE=Release -DASMJIT_SANITIZE=memory
+echo ""