[project @ 2000-04-14 14:07:43 by simonmar]

msTime() uses non-POSIX features, so #define NON_POSIX_SOURCE.

diff --git a/ghc/rts/RtsUtils.c b/ghc/rts/RtsUtils.c
index 2b929c9..23bf0d6 100644 (file)
--- a/ghc/rts/RtsUtils.c
+++ b/ghc/rts/RtsUtils.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: RtsUtils.c,v 1.14 2000/03/31 03:09:36 hwloidl Exp $
+ * $Id: RtsUtils.c,v 1.15 2000/04/14 14:07:43 simonmar Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -7,6 +7,9 @@
  *
  * ---------------------------------------------------------------------------*/
 
+/* gettimeofday isn't POSIX */
+#define NON_POSIX_SOURCE
+
 #include "Rts.h"
 #include "RtsTypes.h"
 #include "RtsAPI.h"