diff options
author | Paolo Bonzini <bonzini@gnu.org> | 2008-07-31 11:00:58 +0200 |
---|---|---|
committer | Paolo Bonzini <bonzini@gnu.org> | 2008-07-31 11:00:58 +0200 |
commit | fee2ed87aa5f0c2a1cefbe4056300e8a28794e39 (patch) | |
tree | 9b04acb3a9d3a7273cce675290b779f40cf035ab /bootstrap | |
parent | fdd2c97c0b6673599d2d1ea030980799a6abbb59 (diff) | |
download | bison-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-x | bootstrap | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -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 |