configure for x86-32/Cygwin: ignore __attribute__

Even with __GNUC__ undefined, the standard header files contain bizarre __attribute__ declarations that CompCert fails to parse.

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index ddc6833d..eb4423e8 100755
--- a/configure
+++ b/configure
@@ -284,7 +284,7 @@ if test "$arch" = "x86" -a "$bitsize" = "32"; then
         clinker="${toolprefix}gcc"
         clinker_options="-m32"
         cprepro="${toolprefix}gcc"
-        cprepro_options="-std=c99 -m32 -U__GNUC__ -E"
+        cprepro_options="-std=c99 -m32 -U__GNUC__ '-D__attribute__(x)=' -E"
         libmath="-lm"
         struct_passing="ints"
         struct_return="ref"