diff options
Diffstat (limited to 'lib-src/profile.c')
| -rw-r--r-- | lib-src/profile.c | 8 |
1 files changed, 8 insertions, 0 deletions
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 |