kill that ruby script that nobody will ever use

[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 76425a8..7f4d474 100644 (file)
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -11,19 +11,18 @@
 
 + \.classpath
 + \.cproject
-+ \.gitignore
 + \.project
 + \.travis.yml
++ appveyor.yml
 + COPYRIGHT.template
 + README\.(coding|git)
 + mk_win-dist.sh
 
-+ buildtools/(jenkins|pipol)/.*
++ tools/jenkins/.*
 
 + contrib/.*
 
 + examples/msg/actions/NAS_LU_S_4/.*
-+ examples/msg/chainsend/generate_deployment_file\.rb
 + examples/msg/chord/chord3\.xml
 
 + examples/smpi/MM/command_exemple