diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 19:35:22 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 19:35:22 +0200 |
| commit | e6d477f995c9d5aa941f9c6cd093757b68dc4114 (patch) | |
| tree | d3af6a38354696361e1948593f0e4aadb49233d9 /x86 | |
| parent | 4d099ef842684d3eeccff22f9d4019c7d1d70ee1 (diff) | |
| download | compcert-e6d477f995c9d5aa941f9c6cd093757b68dc4114.tar.gz compcert-e6d477f995c9d5aa941f9c6cd093757b68dc4114.zip | |
configure for x86-32/Cygwin: ignore __attribute__
Even with __GNUC__ undefined, the standard header files contain bizarre __attribute__ declarations that CompCert fails to parse.
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions