# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 807088059 0
# Node ID 48786c683506ac44557037b76c83af7027a5c9b2
# Parent  ed5de994fa90f5a541bd7d6c84f770b7a7c5dc7c
(gettimeofday): New function, defined if necessary.

diff -r ed5de994fa90 -r 48786c683506 lib-src/profile.c
--- a/lib-src/profile.c	Sun Jul 30 07:06:08 1995 +0000
+++ b/lib-src/profile.c	Sun Jul 30 07:07:39 1995 +0000
@@ -61,6 +61,23 @@
   return time_string;
 }
 
+#if ! defined (HAVE_GETTIMEOFDAY) && defined (HAVE_TIMEVAL)
+ 
+/* ARGSUSED */
+gettimeofday (tp, tzp)
+     struct timeval *tp;
+     struct timezone *tzp;
+{
+  extern long time ();
+
+  tp->tv_sec = time ((long *)0);    
+  tp->tv_usec = 0;
+  if (tzp != 0)
+    tzp->tz_minuteswest = -1;
+}
+ 
+#endif
+
 void
 main ()
 {