diff options
Diffstat (limited to 'ci/common/build.sh')
| -rw-r--r-- | ci/common/build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/common/build.sh b/ci/common/build.sh index 8c2406698a..f398a1a1cc 100644 --- a/ci/common/build.sh +++ b/ci/common/build.sh @@ -10,7 +10,8 @@ build_deps() { if test "${BUILD_32BIT}" = ON ; then DEPS_CMAKE_FLAGS="${DEPS_CMAKE_FLAGS} ${CMAKE_FLAGS_32BIT}" fi - if test "${FUNCTIONALTEST}" = "functionaltest-lua" ; then + if test "${FUNCTIONALTEST}" = "functionaltest-lua" \ + || test "${CLANG_SANITIZER}" = "ASAN_UBSAN" ; then DEPS_CMAKE_FLAGS="${DEPS_CMAKE_FLAGS} -DUSE_BUNDLED_LUA=ON" fi |