summaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorPaolo Bonzini <bonzini@gnu.org>2008-07-31 11:00:58 +0200
committerPaolo Bonzini <bonzini@gnu.org>2008-07-31 11:00:58 +0200
commitfee2ed87aa5f0c2a1cefbe4056300e8a28794e39 (patch)
tree9b04acb3a9d3a7273cce675290b779f40cf035ab /bootstrap
parentfdd2c97c0b6673599d2d1ea030980799a6abbb59 (diff)
downloadbison-fee2ed87aa5f0c2a1cefbe4056300e8a28794e39.tar.gz
document and support usage of git-merge-changelog
2008-07-31 Paolo Bonzini <bonzini@gnu.org> Support usage of git-merge-changelog. * .gitattributes: New. * HACKING: Document usage of git-merge-changelog. * bootstrap: Install git-merge-changelog entries in .git/config if appropriate.
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap14
1 files changed, 14 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap
index 67063b5b..c3c7748b 100755
--- a/bootstrap
+++ b/bootstrap
@@ -267,6 +267,20 @@ cleanup_gnulib() {
exit $status
}
+# 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
+
# Get gnulib files.
case ${GNULIB_SRCDIR--} in