From c01fd0771981bc96c135e72e162821a0deba3d84 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Thu, 14 Apr 1994 12:01:31 +0000 Subject: [PATCH] (gettimeofday): If system doesn't have this, define it to give a fatal error. --- lib-src/profile.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/lib-src/profile.c b/lib-src/profile.c index b204e13c20f..523659c5586 100644 --- a/lib-src/profile.c +++ b/lib-src/profile.c @@ -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 -- 2.39.5