diff options
| author | Richard M. Stallman | 1994-04-14 12:01:31 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1994-04-14 12:01:31 +0000 |
| commit | c01fd0771981bc96c135e72e162821a0deba3d84 (patch) | |
| tree | fa582b07482f383486908e4a1587556545c621b2 /lib-src | |
| parent | 587880630da84a74733ba63ebfd7f32b8b6fc453 (diff) | |
| download | emacs-c01fd0771981bc96c135e72e162821a0deba3d84.tar.gz emacs-c01fd0771981bc96c135e72e162821a0deba3d84.zip | |
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Diffstat (limited to 'lib-src')
| -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 */ | |||
| 38 | static int watch_not_started = 1; /* flag */ | 38 | static int watch_not_started = 1; /* flag */ |
| 39 | static char time_string[30]; | 39 | static char time_string[30]; |
| 40 | 40 | ||
| 41 | #ifndef HAVE_GETTIMEOFDAY | ||
| 42 | gettimeofday () | ||
| 43 | { | ||
| 44 | fprintf (stderr, "profile: this system does not support gettimeofday\n"); | ||
| 45 | exit (1); | ||
| 46 | } | ||
| 47 | #endif | ||
| 48 | |||
| 41 | /* Reset the stopwatch to zero. */ | 49 | /* Reset the stopwatch to zero. */ |
| 42 | 50 | ||
| 43 | int | 51 | int |