CI: run `make distcheck` instead of `make check`

[tinc] / .ci / sanitizers / ignore.txt

diff --git a/.ci/sanitizers/ignore.txt b/.ci/sanitizers/ignore.txt
index 724f278..c088e06 100644 (file)
--- a/.ci/sanitizers/ignore.txt
+++ b/.ci/sanitizers/ignore.txt
@@ -1,3 +1,9 @@
+# plain make
 src:ed25519/*
 src:chacha-poly1305/*
 src:xoshiro.c
+
+# make distcheck
+src:../../../src/ed25519/*
+src:../../../src/chacha-poly1305/*
+src:../../../src/xoshiro.c