Add --git-config option to autogen.sh

* autogen.sh: New options --git-config, --help.
(git_config): New shell var.  Alter function to respect this var.

diff --git a/autogen.sh b/autogen.sh
index 42a779ea8c8dfd120b9f407185bfaad4d4b85d64..4a0fbb791e965bf96e15a9f451be9b09bbc9458e 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -104,6 +104,21 @@ check_version ()
 }
 
 
+git_config=true
+
+for arg
+do
+    case $arg in
+       --git-config=false) git_config=false;;
+       --git-config=true)  git_config=true ;;
+       --help)
+           exec echo "$0: usage: $0 [--help|--git-config=[false|true]]";;
+       *)
+           echo >&2 "$0: $arg: unknown option"; exit 1;;
+    esac
+done
+
+
 cat <<EOF
 Checking whether you have the necessary tools...
 (Read INSTALL.REPO for more details on building Emacs)
@@ -220,17 +235,21 @@ echo timestamp > src/stamp-h.in || exit
 ## Configure Git, if using Git.
 if test -d .git && (git status -s) >/dev/null 2>&1; then
 
-    # Like 'git config NAME VALUE', but verbose on change and exit on failure.
+    # Like 'git config NAME VALUE', but conditional on --git-config,
+    # verbose on change, and exiting on failure.
 
     git_config ()
     {
        name=$1
        value=$2
-       ovalue=`git config --get "$name"` && test "$ovalue" = "$value" || {
+
+       if $git_config; then
+         ovalue=`git config --get "$name"` && test "$ovalue" = "$value" || {
            echo "${Configuring_git}git config $name '$value'"
            Configuring_git=
            git config "$name" "$value" || exit
-       }
+         }
+       fi
     }
     Configuring_git='Configuring git...
 '