Reported by Ken Brown <kbrown@cornell.edu> in
<https://lists.gnu.org/archive/html/bug-gnulib/2024-05/msg00008.html>.
* lib/boot-time-aux.h (get_windows_boot_time): Use /proc/cygdrive/
instead of /cygdrive/.
+2024-05-01 Bruno Haible <bruno@clisp.org>
+
+ readutmp, boot-time: Improve for some Cygwin installations.
+ Reported by Ken Brown <kbrown@cornell.edu> in
+ <https://lists.gnu.org/archive/html/bug-gnulib/2024-05/msg00008.html>.
+ * lib/boot-time-aux.h (get_windows_boot_time): Use /proc/cygdrive/
+ instead of /cygdrive/.
+
2024-05-01 Bruno Haible <bruno@clisp.org>
stddef: A better workaround against GCC bug 114870.
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