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 | c01fd0771981bc96c135e72e162821a0deba3d84 (patch) | |
| tree | fa582b07482f383486908e4a1587556545c621b2 /lib-src/profile.c | |
| parent | 587880630da84a74733ba63ebfd7f32b8b6fc453 (diff) | |
| download | emacs-c01fd0771981bc96c135e72e162821a0deba3d84.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 |