Merge pull request #11 from Placinta/master
Fix option type in add_sanitizers check
This commit is contained in:
commit
f09151bc87
@ -54,7 +54,7 @@ endfunction()
|
|||||||
|
|
||||||
function(add_sanitizers ...)
|
function(add_sanitizers ...)
|
||||||
# If no sanitizer is enabled, return immediately.
|
# If no sanitizer is enabled, return immediately.
|
||||||
if (NOT (SANITZE_ADDRESS OR SANITIZE_MEMORY OR SANITIZE_THREAD OR
|
if (NOT (SANITIZE_ADDRESS OR SANITIZE_MEMORY OR SANITIZE_THREAD OR
|
||||||
SANITIZE_UNDEFINED))
|
SANITIZE_UNDEFINED))
|
||||||
return()
|
return()
|
||||||
endif ()
|
endif ()
|
||||||
|
Loading…
Reference in New Issue
Block a user