Make check_dist_archive accept the newly created .gitversion.

[simgrid.git] / tools / check_dist_archive.exclude

diff --git a/tools/check_dist_archive.exclude b/tools/check_dist_archive.exclude
index 97b941c..e40b8e7 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/.*
 
@@ -45,5 +46,6 @@
 + tools/check_dist_archive
 + tools/check_dist_archive\.exclude
 + tools/normalize-pointers\.py
++ tools/update_copyright_header
 
 + tools/spell/.*