diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-06-07 15:28:35 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-06-07 15:28:35 +0200 |
| commit | 3c4f1377395494e8f706b829d0b69e9c33b6a5b8 (patch) | |
| tree | 21aa0ada3d340a868a20388a6d7863464145fbd0 /Makefile.extr | |
| parent | 35041fb0949304dcdb6d82687adbaa71bf8224ab (diff) | |
| download | compcert-kvx-3c4f1377395494e8f706b829d0b69e9c33b6a5b8.tar.gz compcert-kvx-3c4f1377395494e8f706b829d0b69e9c33b6a5b8.zip | |
fix '__builtin_annot_val' to '__builtin_annot_intval', such that CompCert can parse its own .compcert.c output, bug 18060
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions