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 e40b8e7..8baa979 100644 (file)
--- a/tools/check_dist_archive.exclude
+++ b/tools/check_dist_archive.exclude
@@ -45,6 +45,7 @@
 
 + tools/check_dist_archive
 + tools/check_dist_archive\.exclude
++ tools/generate-multi-jar\.py
 + tools/normalize-pointers\.py
 + tools/update_copyright_header