finally this is needed

[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..8cecb9f 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -26,6 +26,7 @@
 + examples/smpi/NAS/.*
 
 + src/simix/README_attempt_without_stack
++ src/simix/simix_network\.tla
 
 + src/smpi/BUGS
 + src/smpi/colls/alltoall-bruck\.c