we still use _GNU_SOURCE even after the last revert

[r8507]

diff --git a/config.h.in b/config.h.in
index f9d0276..1478e95 100644 (file)
--- a/config.h.in
+++ b/config.h.in
@@ -101,6 +101,9 @@
 /* define to 1 to enable Firm to call the JVM */
 #undef WITH_JVM
 
+/* define to 1 if we use gnu extensions */
+#undef _GNU_SOURCE
+
 /* define to 1 to have wchar_t support for identifiers */
 #define FIRM_ENABLE_WCHAR