Remove everything related to the pipol compilation platform

[simgrid.git] / tools / internal / check_dist_archive.exclude

diff --git a/tools/internal/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude
index 847e698..7bcf503 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -18,7 +18,7 @@
 + README\.(coding|git)
 + mk_win-dist.sh
 
-+ buildtools/(jenkins|pipol)/.*
++ buildtools/jenkins/.*
 
 + contrib/.*