Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-09 12:23:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

document and support usage of git-merge-changelog

Browse Source 
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.
This commit is contained in:
Paolo Bonzini
2008-07-31 11:00:58 +02:00
parent fdd2c97c0b
commit fee2ed87aa
3 changed files with 26 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
bootstrap
View File

@@ -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