From ee843d04bfaf78937bc8c231a69efe63be0e765a Mon Sep 17 00:00:00 2001
From: Matthias Braun <matze@braunis.de>
Date: Tue, 9 Jan 2007 13:33:50 +0000
Subject: [PATCH] we still use _GNU_SOURCE even after the last revert

[r8507]
---
 config.h.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/config.h.in b/config.h.in
index f9d0276b3..1478e95e0 100644
--- 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
 
-- 
2.20.1