diff options
Diffstat (limited to 'src/editfns.c')
| -rw-r--r-- | src/editfns.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/editfns.c b/src/editfns.c index 192277e4295..0487ecf4707 100644 --- a/src/editfns.c +++ b/src/editfns.c | |||
| @@ -1485,7 +1485,7 @@ on systems that do not provide resolution finer than a second. */) | |||
| 1485 | make_number ((secs >> 0) & 0xffff), | 1485 | make_number ((secs >> 0) & 0xffff), |
| 1486 | make_number (usecs)); | 1486 | make_number (usecs)); |
| 1487 | #else /* ! HAVE_GETRUSAGE */ | 1487 | #else /* ! HAVE_GETRUSAGE */ |
| 1488 | #if WINDOWSNT | 1488 | #ifdef WINDOWSNT |
| 1489 | return w32_get_internal_run_time (); | 1489 | return w32_get_internal_run_time (); |
| 1490 | #else /* ! WINDOWSNT */ | 1490 | #else /* ! WINDOWSNT */ |
| 1491 | return Fcurrent_time (); | 1491 | return Fcurrent_time (); |