size shouldn't be accessible from the user API.

[simgrid.git] / tools / check_dist_archive.exclude

diff --git a/tools/check_dist_archive.exclude b/tools/check_dist_archive.exclude
index 70ec40a..4ded2ab 100644 (file)
--- a/tools/check_dist_archive.exclude
+++ b/tools/check_dist_archive.exclude
@@ -8,6 +8,7 @@
 - Makefile
 - doc/html/.*
 
++ \.cproject
 + \.gitignore
 + README\.(coding|git)
 + mk_win-dist.sh
@@ -28,12 +29,7 @@
 + src/simix/simix_network\.tla
 
 + src/smpi/BUGS
-+ src/smpi/colls/allgather-2dmesh\.c
-+ src/smpi/colls/allgather-3dmesh\.c
-+ src/smpi/colls/allgather-bruck\.c
-+ src/smpi/colls/allreduce-rab-rdb\.c
 + src/smpi/colls/allreduce-rab-reduce-scatter\.c
-+ src/smpi/colls/allreduce-smp-binomial-pipeline\.c
 + src/smpi/colls/alltoall-bruck\.c
 + src/smpi/fixsrc\.pl
 + src/smpi/myprintloc\.cocci