diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/buildtests.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/buildtests.sh b/scripts/buildtests.sh index d7ac9b5b..6c989953 100755 --- a/scripts/buildtests.sh +++ b/scripts/buildtests.sh @@ -260,7 +260,7 @@ ASAN_BUILD() { fi echo "===== START ASAN BUILD: $1 ======" SET_CLANG - BUILD "$name" "-DADDRESS_SANITIZER=True $2" + BUILD "$name" "-DLIBICAL_DEVMODE_ADDRESS_SANITIZER=True $2" echo "===== END ASAN BUILD: $1 ======" } @@ -277,7 +277,7 @@ TSAN_BUILD() { fi echo "===== START TSAN BUILD: $1 ======" SET_CLANG - BUILD "$name" "-DTHREAD_SANITIZER=True $2" + BUILD "$name" "-DLIBICAL_DEVMODE_THREAD_SANITIZER=True $2" echo "===== END TSAN BUILD: $1 ======" } @@ -294,7 +294,7 @@ UBSAN_BUILD() { fi echo "===== START UBSAN BUILD: $1 ======" SET_CLANG - BUILD "$name" "-DUNDEFINED_SANITIZER=True $2" + BUILD "$name" "-DLIBICAL_DEVMODE_UNDEFINED_SANITIZER=True $2" echo "===== END UBSAN BUILD: $1 ======" } |