# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 784506417 0
# Node ID be7b66e2cb98e0671c861630b83a40c457d6cd88
# Parent  f54af6fe889e2e4bddaee3fc5238163b7167e56f
(TV1, TV2): Use EMACS_TIME as type.
(get_time): Use EMACS_SUB_TIME.

diff -r f54af6fe889e -r be7b66e2cb98 lib-src/profile.c
--- a/lib-src/profile.c	Thu Nov 10 22:03:43 1994 +0000
+++ b/lib-src/profile.c	Thu Nov 10 22:26:57 1994 +0000
@@ -33,7 +33,7 @@
 #include <../src/config.h>
 #include <../src/systime.h>
 
-static struct timeval TV1, TV2;
+static EMACS_TIME TV1, TV2;
 static int watch_not_started = 1; /* flag */
 static char time_string[30];
 
@@ -56,13 +56,8 @@
   if (watch_not_started)
     exit (1);  /* call reset_watch first ! */
   EMACS_GET_TIME (TV2);
-  if (TV1.tv_usec > TV2.tv_usec)
-    {
-      TV2.tv_usec += 1000000;
-      TV2.tv_sec--;
-    }
-  sprintf (time_string, "%lu.%06lu",
-	  TV2.tv_sec - TV1.tv_sec, TV2.tv_usec - TV1.tv_usec);
+  EMACS_SUB_TIME (TV2, TV2, TV1);
+  sprintf (time_string, "%lu.%06lu", EMACS_SECS(TV2), EMACS_USECS(TV2));
   return time_string;
 }