Kill useless typedef tmgr_Trace.

[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 7070e3bc580dbbad2753ddc4fb7270e2b912ae7b..a87445191f28d0f2f9e12d810a449bc87305ae29 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -9,12 +9,15 @@
 - Makefile
 - doc/html/.*
 
++ BuildSimGrid.sh
++ circle.yml
 + \.classpath
 + \.cproject
 + \.project
 + \.travis.yml
++ sonar-project.properties
 + \.editorconfig
-+ appveyor.yml
++ \.appveyor.yml
 + COPYRIGHT.template
 + README\.(coding|git)
 + mk_win-dist.sh
@@ -29,6 +32,9 @@
 + 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/.*