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