update

[l4.git] / l4 / pkg / libc_backends / lib / misc / misc.c

diff --git a/l4/pkg/libc_backends/lib/misc/misc.c b/l4/pkg/libc_backends/lib/misc/misc.c
index 2d1ee8b440b53ec8e8d889dde294a2a5049d54d8..a40e16f5f689d8fb8820dd1c6c2f76e2a4dddc31 100644 (file)
--- a/l4/pkg/libc_backends/lib/misc/misc.c
+++ b/l4/pkg/libc_backends/lib/misc/misc.c
@@ -1,10 +1,14 @@
 /*
- * (c) 2008-2009 Technische Universität Dresden
+ * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ *               Alexander Warg <warg@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU Lesser General Public License 2.1.
  * Please see the COPYING-LGPL-2.1 file for details.
  */
+#ifndef _GNU_SOURCE
 #define _GNU_SOURCE
+#endif
 #include <stdio.h>
 #include <unistd.h>
 #include <errno.h>