Install signal handler for SIGSEGV.

[simgrid.git] / tools / check_dist_archive.exclude

diff --git a/tools/check_dist_archive.exclude b/tools/check_dist_archive.exclude
index 97b941c..8baa979 100644 (file)
--- a/tools/check_dist_archive.exclude
+++ b/tools/check_dist_archive.exclude
@@ -5,6 +5,7 @@
 # lines beginning with '+ ' are expected in git only
 # each line is an extended regexp that should match full file names
 
+- \.gitversion
 - Makefile
 - doc/html/.*
 
@@ -44,6 +45,8 @@
 
 + tools/check_dist_archive
 + tools/check_dist_archive\.exclude
++ tools/generate-multi-jar\.py
 + tools/normalize-pointers\.py
++ tools/update_copyright_header
 
 + tools/spell/.*