gdb: Make GMP a required dependency for building GDB
[binutils-gdb.git] / .gitattributes
blob06d51d28a950eef3ff497041f15e7b5c64dfdaf9
1 # -*- conf -*-
3 ## Set merge driver for ChangeLog files 
4 # See gnulib's lib/git-merge-changelog.c (or git-merge-changelog(1))
5 # for per-user setup instructions.
7 # The short version of this (optional) procedure is:
8
9 # (1) Install git-merge-changelog (this is the tricky part!)
11 # (2) Add something like the following to your ~/.gitconfig:
13 # [merge "merge-changelog"]
14 #         name = GNU-style ChangeLog merge driver
15 #         driver = git-merge-changelog %O %A %B
17 # (3) Enjoy mostly effortless ChangeLog merges, at least until the
18 #     file gets renamed again ...
20 ChangeLog       merge=merge-changelog