fix make dist

[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 7245c97..bc1ee3f 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -9,12 +9,14 @@
 - Makefile
 - doc/html/.*
 
++ BuildSimGrid.sh
 + \.classpath
 + \.cproject
 + \.project
 + \.travis.yml
++ sonar-project.properties
 + \.editorconfig
-+ appveyor.yml
++ \.appveyor.yml
 + COPYRIGHT.template
 + README\.(coding|git)
 + mk_win-dist.sh
@@ -23,13 +25,15 @@
 
 + contrib/.*
 
-+ examples/smpi/NAS/.*
-
 + src/simix/README_attempt_without_stack
++ src/simix/simix_network\.tla
 
 + src/smpi/BUGS
 + src/smpi/colls/alltoall-bruck\.c
 
++ .clang-format
++ tools/git-hooks/clang-format.pre-commit
+
 + teshsuite/smpi/mpich3-test/f77/attr/.*
 
 + tools/internal/.*