From: Ben Walton Date: Sat, 31 Oct 2009 20:41:35 GMT Subject: [PATCH 2/2] configure: allow user to set gitconfig, pager and editor Message-ID: <1257021695-21260-3-git-send-email-bwalton@artsci.utoronto.ca> In-Reply-To: <1257021695-21260-2-git-send-email-bwalton@artsci.utoronto.ca> Use the new GIT_WITH_MAKE_VAR function to allow user specified values for ETC_GITCONFIG, DEFAULT_PAGER and DEFAULT_EDITOR. Signed-off-by: Ben Walton --- configure.ac | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-) diff --git a/configure.ac b/configure.ac index 2829dbb..d50d492 100644 --- a/configure.ac +++ b/configure.ac @@ -241,6 +241,16 @@ GIT_PARSE_WITH(iconv)) # change being considered an inode change from the update-index perspective. # +# Allow user to set ETC_GITCONFIG variable +GIT_WITH_MAKE_VAR(gitconfig, ETC_GITCONFIG) +# +# Allow user to set the default pager +GIT_WITH_MAKE_VAR(pager, DEFAULT_PAGER) +# +# Allow user to set the default editor +GIT_WITH_MAKE_VAR(editor, DEFAULT_EDITOR) + +# # Define SHELL_PATH to provide path to shell. GIT_ARG_SET_PATH(shell) # -- 1.6.5