diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-09-09 23:25:22 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-09-09 23:27:10 +0200 |
| commit | 2fecbdbd82efda717d0e56101afcf41b79404a4f (patch) | |
| tree | 9770573838438d9cd7bc9d77edf68cc8a017196a /doc | |
| parent | f19b9b96cda5ff45810f1363ef30df8d163451ad (diff) | |
| download | patches-2fecbdbd82efda717d0e56101afcf41b79404a4f.tar patches-2fecbdbd82efda717d0e56101afcf41b79404a4f.tar.gz | |
gnu: gdb: Remove headers and libraries already in Binutils.
* gnu/packages/gdb.scm (gdb)[arguments]: Add #:modules. Rename
'post-install' phase to 'remove-libs-already-in-binutils'. Change it
to compute the intersection of the set of headers and libraries of GDB
vs. Binutils and to remove each of the files found in both.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions