summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xci/lib.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/lib.sh b/ci/lib.sh
index f561884d40..a165c7f268 100755
--- a/ci/lib.sh
+++ b/ci/lib.sh
@@ -356,6 +356,7 @@ linux-musl-meson)
;;
linux-leaks|linux-reftable-leaks)
export SANITIZE=leak
+ export NO_SVN_TESTS=LetsSaveSomeTime
;;
linux-asan-ubsan)
export SANITIZE=address,undefined