diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-04-17 12:32:56 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-05-07 11:21:34 +0200 |
| commit | ad4835fe018a4a0c1955385c819fed7ec4a841d5 (patch) | |
| tree | 7bf4df4b55e2d4f748d09e594ce6ce30409abc5e /gnu/build | |
| parent | 3cc9a8a1324b865fa70d61647c5a41de1e439522 (diff) | |
| download | guix-ad4835fe018a4a0c1955385c819fed7ec4a841d5.tar.gz guix-ad4835fe018a4a0c1955385c819fed7ec4a841d5.zip | |
gremlin: Preserve offset info for dynamic entries.
* guix/build/gremlin.scm (<dynamic-entry>): New record type.
(raw-dynamic-entries): Return a list of <dynamic-entry>.
(dynamic-entries): Adjust accordingly and return a list of <dynamic-entry>.
(elf-dynamic-info)[matching-entry]: New procedure.
Use it.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions