__attribute__ must be defined here, it is used in headers
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 10 May 2007 21:49:09 +0000 (21:49 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 10 May 2007 21:49:09 +0000 (21:49 +0000)
[r13780]

win32/firm_config.h

index dbee741..4774cb9 100644 (file)
@@ -98,4 +98,7 @@
 #define PLUGIN_IR_BE  1
 #endif
 
+/* No __attribute__ here */
+#define __attribute__(x)
+
 #endif /* _FIRM_CONFIG_H */