From c04e91134f256be298d8739d493aa8df7e8d05ec Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 1 Feb 2016 23:45:10 -0800 Subject: 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. --- autogen.sh | 25 ++++++++++++++++++++++--- 1 file changed, 22 insertions(+), 3 deletions(-) (limited to 'autogen.sh') diff --git a/autogen.sh b/autogen.sh index 42a779ea8c8..4a0fbb791e9 100755 --- 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 < 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... ' -- cgit v1.2.1