From 0e7539c1960485e86b0171747acc05a81954a710 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 10 May 2007 21:49:09 +0000
Subject: [PATCH] __attribute__ must be defined here, it is used in headers

[r13780]
---
 win32/firm_config.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/win32/firm_config.h b/win32/firm_config.h
index dbee74148..4774cb992 100644
--- a/win32/firm_config.h
+++ b/win32/firm_config.h
@@ -98,4 +98,7 @@
 #define PLUGIN_IR_BE  1
 #endif
 
+/* No __attribute__ here */
+#define __attribute__(x)
+
 #endif /* _FIRM_CONFIG_H */
-- 
2.20.1