Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 802f455)
finally this is needed
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 7 Mar 2016 19:35:08 +0000 (20:35 +0100)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 7 Mar 2016 19:43:29 +0000 (20:43 +0100)
tools/internal/check_dist_archive.exclude patch | blob | history

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
 + examples/smpi/NAS/.*
 
 + src/simix/README_attempt_without_stack
++ src/simix/simix_network\.tla
 
 + src/smpi/BUGS
 + src/smpi/colls/alltoall-bruck\.c
 
 + src/smpi/BUGS
 + src/smpi/colls/alltoall-bruck\.c
Clone of SimGrid repository with local patches