diff --git a/ci/lib.sh b/ci/lib.sh index 706e3ba7e9..052a90585c 100755 --- a/ci/lib.sh +++ b/ci/lib.sh @@ -281,9 +281,13 @@ linux-leaks) ;; linux-asan) export SANITIZE=address + export NO_SVN_TESTS=LetsSaveSomeTime + MAKEFLAGS="$MAKEFLAGS NO_PYTHON=YepBecauseP4FlakesTooOften" ;; linux-ubsan) export SANITIZE=undefined + export NO_SVN_TESTS=LetsSaveSomeTime + MAKEFLAGS="$MAKEFLAGS NO_PYTHON=YepBecauseP4FlakesTooOften" ;; esac