From 8fd9e8bfa5e0eec73a96e6601ce63cd59eae1a24 Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Mon, 7 Mar 2016 20:35:08 +0100
Subject: [PATCH] finally this is needed

---
 tools/internal/check_dist_archive.exclude | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/internal/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude
index 7245c97beb..8cecb9f927 100644
--- 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
-- 
2.20.1