Paul Eggert cc0a30a876 Adjust to random-seed move ... For some time, GNU/Linux systems have put their random-seed file somewhere other than where src/filelock.c looks for it. Catch up to this by having 'configure' scout for it. * configure.ac (BOOT_TIME_FILE): Define this at configure-time. * nt/inc/ms-w32.h (BOOT_TIME_FILE): Override 'configure'. * src/filelock.c (BOOT_TIME_FILE): Remove default definition, since 'configure' defaults it now.		2023-08-09 12:15:47 -07:00
..
arpa
netinet
sys	; Add 2023 to copyright years.	2023-01-01 05:31:12 -05:00
dirent.h
grp.h	; Add 2023 to copyright years.	2023-01-01 05:31:12 -05:00
inttypes.h	; Add 2023 to copyright years.	2023-01-01 05:31:12 -05:00
langinfo.h	; Add 2023 to copyright years.	2023-01-01 05:31:12 -05:00
mingw_time.h
ms-w32.h	Adjust to random-seed move	2023-08-09 12:15:47 -07:00
netdb.h
nl_types.h	; Add 2023 to copyright years.	2023-01-01 05:31:12 -05:00
pwd.h
stdalign.h
stdbool.h
stdint.h	; Add 2023 to copyright years.	2023-01-01 05:31:12 -05:00
unistd.h