diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 13:09:59 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 13:09:59 +0100 |
| commit | a4b766d7b50be79a1d983dbe5f234e951ba0aa46 (patch) | |
| tree | 3ba42ff394c3fe5350607813d0b2eb41a44c981f /.gitignore | |
| parent | 10120fe4d9980139e44012888a91716df2edf2e0 (diff) | |
| download | compcert-kvx-a4b766d7b50be79a1d983dbe5f234e951ba0aa46.tar.gz compcert-kvx-a4b766d7b50be79a1d983dbe5f234e951ba0aa46.zip | |
Recognize more of GCC's alternate keywords (e.g. "__signed").
Based on the source of GCC 4.9.2.
Plus: reordered keywords in alphabetic order to facilitate comparison.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions