# HG changeset patch
# User Paolo Bonzini <bonzini@gnu.org>
# Date 1222938076 -7200
# Node ID b4acf1857e598d7c90c972976c0f4be508620337
# Parent  9a78b559898ae42caebcecb2463c501700e46fb0
have bootstrap initialize git-merge-changelog if found

2008-10-02  Paolo Bonzini  <bonzini@gnu.org>

	* build-aux/bootstrap: Install git-merge-changelog configuration
	items into .gitconfig if needed.

diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-02  Paolo Bonzini  <bonzini@gnu.org>
+
+	* build-aux/bootstrap: Install git-merge-changelog configuration
+	items into .gitconfig if needed.
+
 2008-10-02  Paolo Bonzini  <bonzini@gnu.org>
 
 	* build-aux/bootstrap: Recognize `gnulib' being a submodule in a
diff --git a/build-aux/bootstrap b/build-aux/bootstrap
--- a/build-aux/bootstrap
+++ b/build-aux/bootstrap
@@ -218,6 +218,20 @@
 
 echo "$0: Bootstrapping from checked-out $package sources..."
 
+# See if we can use gnulib's git-merge-changelog merge driver.
+if test -d .git && (git --version) >/dev/null 2>/dev/null ; then
+  if git config merge.merge-changelog.driver >/dev/null ; then
+    :
+  elif (git-merge-changelog --version) >/dev/null 2>/dev/null ; then
+    echo "initializing git-merge-changelog driver"
+    git config merge.merge-changelog.name 'GNU-style ChangeLog merge driver'
+    git config merge.merge-changelog.driver 'git-merge-changelog %O %A %B'
+  else
+    echo "consider installing git-merge-changelog from gnulib"
+  fi
+fi
+
+
 cleanup_gnulib() {
   status=$?
   rm -fr gnulib