Make check-dist-archive succeed (take last changes into account).

diff --git a/tools/check_dist_archive.exclude b/tools/check_dist_archive.exclude
index 70ec40a..61a58e5 100644 (file)
--- a/tools/check_dist_archive.exclude
+++ b/tools/check_dist_archive.exclude
@@ -28,12 +28,7 @@
 + src/simix/simix_network\.tla
 
 + src/smpi/BUGS
 + 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-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
 + src/smpi/colls/alltoall-bruck\.c
 + src/smpi/fixsrc\.pl
 + src/smpi/myprintloc\.cocci