diff options
| author | Richard M. Stallman <rms@gnu.org> | 1994-04-14 12:01:31 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1994-04-14 12:01:31 +0000 |
| commit | 24c22d323ddbf7e1c7a97422a694a1afad377275 (patch) | |
| tree | fe7d4c75fa539479a5a881fbc413a3c02c835474 /lib-src/profile.c | |
| parent | 74c3f3879d8ec5dae3cf5904975d3def7bf08b38 (diff) | |
| download | emacs-24c22d323ddbf7e1c7a97422a694a1afad377275.tar.gz | |
(gettimeofday): If system doesn't have this, define it to give a fatal error.
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 |