[project @ 1999-03-04 13:07:48 by sof]

more cygwin tweakage, this time for b19

diff --git a/ghc/rts/Stats.c b/ghc/rts/Stats.c
index d27816e..fa0fe8f 100644 (file)
--- a/ghc/rts/Stats.c
+++ b/ghc/rts/Stats.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Stats.c,v 1.11 1999/03/04 10:56:51 sof Exp $
+ * $Id: Stats.c,v 1.12 1999/03/04 13:07:48 sof Exp $
  *
  * (c) The GHC Team, 1998-1999
  *
@@ -65,6 +65,12 @@
 #include <sys/time.h>
 #endif
 
+#ifdef __CYGWIN32__
+# ifdef HAVE_TIME_H
+#  include <time.h>
+# endif
+#endif
+
 #if ! irix_TARGET_OS && ! defined(__MINGW32__)
 # if defined(HAVE_SYS_RESOURCE_H)
 #  include <sys/resource.h>