From: Bruno Haible Date: Wed, 1 May 2024 22:52:26 +0000 (+0200) Subject: readutmp, boot-time: Improve for some Cygwin installations. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=f8d1421ed0674df9d6ad260f31b1a627d04ed106;p=gnulib.git readutmp, boot-time: Improve for some Cygwin installations. Reported by Ken Brown in . * lib/boot-time-aux.h (get_windows_boot_time): Use /proc/cygdrive/ instead of /cygdrive/. --- diff --git a/ChangeLog b/ChangeLog index 3cb8913930..2d0e931d36 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2024-05-01 Bruno Haible + + readutmp, boot-time: Improve for some Cygwin installations. + Reported by Ken Brown in + . + * lib/boot-time-aux.h (get_windows_boot_time): Use /proc/cygdrive/ + instead of /cygdrive/. + 2024-05-01 Bruno Haible stddef: A better workaround against GCC bug 114870. diff --git a/lib/boot-time-aux.h b/lib/boot-time-aux.h index 8b966fe691..a94cdb3f30 100644 --- a/lib/boot-time-aux.h +++ b/lib/boot-time-aux.h @@ -306,7 +306,8 @@ get_windows_boot_time (struct timespec *p_boot_time) process, namely C:\pagefile.sys. */ const char * const boot_touched_file = #if defined __CYGWIN__ && !defined _WIN32 - "/cygdrive/c/pagefile.sys" + /* It is more portable to use /proc/cygdrive/c than /cygdrive/c. */ + "/proc/cygdrive/c/pagefile.sys" #else "C:\\pagefile.sys" #endif