diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-04 13:41:47 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-04 13:41:47 +0100 |
| commit | a0ce43e04778660a6f0ec98e70d7b54c5c987fcb (patch) | |
| tree | 87368fb5f722839314fcb359d42c8b06f25dc24d /Makefile.extr | |
| parent | 0ba8c3f06308f8f6a75abe4130972d2cb32a9abe (diff) | |
| download | compcert-kvx-a0ce43e04778660a6f0ec98e70d7b54c5c987fcb.tar.gz compcert-kvx-a0ce43e04778660a6f0ec98e70d7b54c5c987fcb.zip | |
Sort strings in the debug_str section.
In order to get deterministic output code we need to sort the strings
in the debug_str section by their label.
Fix 17727.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions