aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xci/lib.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/lib.sh b/ci/lib.sh
index 611564f773..b6bbb0222e 100755
--- a/ci/lib.sh
+++ b/ci/lib.sh
@@ -279,9 +279,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