(gettimeofday): If system doesn't have this, define it to give a fatal error.

This commit is contained in:
Richard M. Stallman 1994-04-14 12:01:31 +00:00
parent 587880630d
commit c01fd07719

View file

@ -38,6 +38,14 @@ static struct timezone *tzp = (struct timezone *) NULL; /* no need timezone */
static int watch_not_started = 1; /* flag */
static char time_string[30];
#ifndef HAVE_GETTIMEOFDAY
gettimeofday ()
{
fprintf (stderr, "profile: this system does not support gettimeofday\n");
exit (1);
}
#endif
/* Reset the stopwatch to zero. */
int