diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-14 20:58:43 +0100 |
| commit | 54effdc2bae11f441a34465754e9e43c44b41df9 (patch) | |
| tree | 546e86db82daddc56bb96b3e10437ad5646a1fd0 /Makefile.extr | |
| parent | ca055fc22c3b9d0ac6bbd394562933aa3e044c95 (diff) | |
| download | compcert-kvx-54effdc2bae11f441a34465754e9e43c44b41df9.tar.gz compcert-kvx-54effdc2bae11f441a34465754e9e43c44b41df9.zip | |
More unique debug types.
The typdef, enumerator and function_type types form the DebugTypes and
DwarfTypes shared a some fields. This commits renames them in order to
make them more unique and avoid potential name clashes.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions