comparison lib-src/profile.c @ 6876:92cef0f29878

(gettimeofday): If system doesn't have this, define it to give a fatal error.
author Richard M. Stallman <rms@gnu.org>
date Thu, 14 Apr 1994 12:01:31 +0000
parents 5bffd741340e
children 52590f967c1e
comparison
equal deleted inserted replaced
6875:1862df471cac 6876:92cef0f29878
35 35
36 static struct timeval TV1, TV2; 36 static struct timeval TV1, TV2;
37 static struct timezone *tzp = (struct timezone *) NULL; /* no need timezone */ 37 static struct timezone *tzp = (struct timezone *) NULL; /* no need timezone */
38 static int watch_not_started = 1; /* flag */ 38 static int watch_not_started = 1; /* flag */
39 static char time_string[30]; 39 static char time_string[30];
40
41 #ifndef HAVE_GETTIMEOFDAY
42 gettimeofday ()
43 {
44 fprintf (stderr, "profile: this system does not support gettimeofday\n");
45 exit (1);
46 }
47 #endif
40 48
41 /* Reset the stopwatch to zero. */ 49 /* Reset the stopwatch to zero. */
42 50
43 int 51 int
44 reset_watch () 52 reset_watch ()