Paul Eggert 5e736ca6cc
Improve boot-time gathering ...
Simplify Emacs proper by using Gnulib’s boot-time module
instead of doing it all by hand. This should port Emacs
better to obscurish hosts, as Bruno Haible has merged the
best of Emacs’s and Gnulib’s boot-time gathering.
* lib/boot-time-aux.h, lib/boot-time.c, lib/boot-time.h:
* lib/readutmp.h, m4/readutmp.m4: New files, copied from Gnulib.
* admin/merge-gnulib (GNULIB_MODULES): Add boot-time.
* configure.ac: Do not check for utmp.h;
the boot-time module now does this.
(BOOT_TIME_FILE): Remove; no longer used.
* lib/gnulib.mk.in, m4/gnulib-comp.m4: Regenerate.
* src/filelock.c [__FreeBSD__]: Do not include <sys/sysctl.h>.
[HAVE_UTMP_H]: Do not include utmp.h.
Include boot-time instead: boot-time does the work now.
(BOOT_TIME) [HAVE_ANDROID && !ANDROID_STUBIFY]: Don’t undef.
(WTMP_FILE): Don’t define.
(boot_time, boot_time_initialized, get_boot_time_1, get_boot_time):
Remove.
(get_boot_sec): New function that simply calls Gnulib get_boot_time.
(lock_file_1, current_lock_owner): Use get_boot_sec instead
of get_boot_time.
2023-08-12 19:46:12 -07:00
2023-05-14 19:28:09 -07:00
2023-02-04 15:14:16 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-08-12 19:46:12 -07:00
2023-08-12 19:46:12 -07:00
2023-08-12 19:46:12 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-01-06 18:05:57 -08:00
2023-01-06 18:05:57 -08:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-06-07 12:04:00 -07:00
2023-05-14 19:28:09 -07:00
2023-02-04 15:14:16 -08:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-08-12 12:57:35 -07:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-19 22:19:06 +08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-06-07 12:04:00 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-07 15:32:56 -08:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-06-07 12:04:00 -07:00
2023-02-04 15:14:16 -08:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-06-08 08:48:37 +08:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-19 22:19:06 +08:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-25 17:13:29 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-05-15 23:44:29 -07:00
2023-05-15 23:44:29 -07:00
2023-08-12 19:46:12 -07:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-02-04 15:14:16 -08:00
2023-07-09 13:45:13 -07:00
2023-01-01 05:31:12 -05:00
2023-03-16 15:46:39 +08:00
2023-01-06 18:05:57 -08:00
2023-01-06 18:05:57 -08:00
2023-01-06 18:05:57 -08:00
2023-05-14 19:28:09 -07:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-08-07 08:14:38 +08:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-07 15:32:56 -08:00
2023-05-14 19:28:09 -07:00
2023-05-15 23:44:29 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-06-07 12:04:00 -07:00
2023-01-14 09:34:53 +08:00
2023-01-01 05:31:12 -05:00
2023-02-04 15:14:16 -08:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-15 23:44:29 -07:00
2023-01-01 05:31:12 -05:00
2023-01-13 20:03:54 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-08-12 19:46:12 -07:00
2023-01-01 05:31:12 -05:00
2023-07-09 13:45:13 -07:00
2023-01-01 05:31:12 -05:00
2023-06-07 12:04:00 -07:00
2023-01-07 15:32:56 -08:00
2023-01-07 15:32:56 -08:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-17 15:41:00 -07:00
2023-02-04 15:14:16 -08:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-02-04 15:14:16 -08:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-05-14 19:28:09 -07:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-08-12 12:57:35 -07:00
2023-01-07 15:32:56 -08:00
2023-05-17 15:41:00 -07:00
2023-05-17 15:41:00 -07:00
2023-01-01 05:31:12 -05:00
2023-05-15 23:44:29 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-14 09:34:53 +08:00
2023-05-14 19:28:09 -07:00
2023-05-14 19:28:09 -07:00
2023-05-15 23:44:29 -07:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-05-14 19:28:09 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 18:05:57 -08:00
5e736ca6cc