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

[tinc] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 6bf5f5e663eea3489ca252ba0dad9b99623cb845..0956cbeda8b4bc294b2d12efa6603502a3ca770f 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -26,6 +26,12 @@ README: configure-version README.md
 
 CLEANFILES = README
 
+# If we're running on a CI server, we may not be able to remove some test
+# artifacts without using sudo because they are created by tincd running
+# with root privileges.
+clean-local:
+       if test -n "${CI}"; then sudo rm -rf test/*.test.*/; fi
+
 ChangeLog:
        (cd $(srcdir) && git log) > ChangeLog