jenkins: try to disable CMAKE_DISABLE_SOURCE_CHANGES=ON on CMake 3.11

[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 bc1ee3f..a874451 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -10,6 +10,7 @@
 - doc/html/.*
 
 + BuildSimGrid.sh
++ circle.yml
 + \.classpath
 + \.cproject
 + \.project