os module: oops! other GNU extensions were in use; reenable these

diff --git a/modules/os/seed-os.c b/modules/os/seed-os.c
index ad2dfc1..9b32718 100644 (file)
--- a/modules/os/seed-os.c
+++ b/modules/os/seed-os.c
@@ -17,6 +17,8 @@
  * Copyright (C) Robert Carr 2009 <carrr@rpi.edu>
  */
 
+#define _GNU_SOURCE
+
 #include "../../config.h"
 
 #include <unistd.h>