[PATCH] do not use GIT_CONFIG_LOCAL

[Paolo Bonzini]

"Despite being doucmented, I can't find any sign that it was ever used."
(git commit dc87183).  Doh.
Bison should be updated, for the other projects I know the maintainers 
are listening on bug-gnulib. :-)

Paolo

2009-06-26  Paolo Bonzini  <bonz...@gnu.org>

        * autoboot: Do not use GIT_CONFIG_LOCAL.


diff --git a/build-aux/bootstrap b/build-aux/bootstrap
index 2087bab..9d93c86 100755
--- a/build-aux/bootstrap
+++ b/build-aux/bootstrap
@@ -245,7 +245,7 @@ cleanup_gnulib() {
 }

 git_modules_config () {
-  GIT_CONFIG_LOCAL=.gitmodules git config "$@"
+  test -f .gitmodules && git config --file .gitmodules "$@"
 }

 # Get gnulib files.