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 /backend/Bounds.v | |
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 'backend/Bounds.v')
0 files changed, 0 insertions, 0 deletions