From b4bfc08c52c75b470b6754818589964fd6ee9787 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Fri, 16 Nov 2007 22:38:55 +0000
Subject: [PATCH] __attribute__ is a GCC extension

[r18425]
---
 config.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/config.h b/config.h
index aae6e6b..c111953 100644
--- a/config.h
+++ b/config.h
@@ -1 +1,5 @@
 #define INLINE inline
+
+#ifndef __GCC__
+#define __attribute__(x)
+#endif
-- 
2.20.1