Use git-version-gen for version names between releases.

[bison.git] / bootstrap

diff --git a/bootstrap b/bootstrap
index 85d06a234251af3ac93e8a869fd60c36fc23e9ca..67063b5bfd000bd09626d9cb672fbc771d0171b1 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -600,6 +600,12 @@ if test -f $mam_template; then
   done
 fi
 
   done
 fi
 

+# FIXME: Gnulib should be patched to add "/" in front of .gitignore entries
+# instead.  Anyway, this hack must be done before invoking autoconf so that
+# build-aux/git-version-gen doesn't think the version is dirty because
+# .gitignore isn't committed.
+grep -v '^GNUmakefile$' .gitignore > .gitignore~ && mv .gitignore~ .gitignore
+

 # Reconfigure, getting other files.
 
 for command in \
 # Reconfigure, getting other files.
 
 for command in \