From 7fb3e75abb599185cba4ee5795dcc560732e4f00 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 1 May 2017 08:54:57 +0200
Subject: [PATCH] fix make dist

---
 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 628bd8201d..bc1ee3f22d 100644
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -9,6 +9,7 @@
 - Makefile
 - doc/html/.*
 
++ BuildSimGrid.sh
 + \.classpath
 + \.cproject
 + \.project
-- 
2.20.1