7 commits

Author	SHA1	Message	Date
Paul Eggert	a902156068	Update from Gnulib by running admin/merge-gnulib	2023-06-07 12:04:00 -07:00
Eli Zaretskii	cae528457c	; Add 2023 to copyright years.	2023-01-01 05:31:12 -05:00
Paul Eggert	308e63ccfc	Update from Gnulib by running admin/merge-gnulib	2022-02-23 11:41:02 -08:00
Eli Zaretskii	19dcb237b5	; Add 2022 to copyright years.	2022-01-01 02:45:51 -05:00
Paul Eggert	ba05d005e5	Update copyright year to 2021 ... Run "TZ=UTC0 admin/update-copyright".	2021-01-01 01:13:56 -08:00
Paul Eggert	365e01cc9f	Update copyright year to 2020 ... Run "TZ=UTC0 admin/update-copyright $(git ls-files)".	2020-01-01 00:59:52 +00:00
Paul Eggert	486a81f387	Use copy_file_range to copy files ... The copy_file_range syscall (introduced in Linux kernel version 4.5) can copy files more efficiently via server-side copy etc. * admin/merge-gnulib (GNULIB_MODULES): Add copy-file-range. * lib/copy-file-range.c, m4/copy-file-range.m4: New files, copied from Gnulib. * lib/gnulib.mk.in, m4/gnulib-comp.m4: Regenerate. * src/fileio.c (Fcopy_file): Try copy_file_range first, falling back on read+write only if copy_file_range failed or if the input is empty and so could be a /proc file.	2019-06-07 00:44:45 -07:00