summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure7
1 files changed, 7 insertions, 0 deletions
diff --git a/configure b/configure
index 0002c99c14..911f06ce4b 100755
--- a/configure
+++ b/configure
@@ -6106,6 +6106,13 @@ $_def_dynamic_plugins
/* "restrict" keyword */
#define restrict $_def_restrict_keyword
+/* attribute(used) as needed by some compilers */
+#if (__GNUC__ * 100 + __GNUC_MINOR__ >= 300)
+# define attribute_used __attribute__((used))
+#else
+# define attribute_used
+#endif
+
#define PREFIX "$_prefix"
#define USE_OSD 1