__attribute__ is a GCC extension
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 16 Nov 2007 22:38:55 +0000 (22:38 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 16 Nov 2007 22:38:55 +0000 (22:38 +0000)
[r18425]

config.h

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