diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2023-05-10 12:10:16 -0700 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2023-05-14 18:26:35 -0400 |
commit | c85b71a39620b41c764a58b1595fc1021545665a (patch) | |
tree | d4bb82c03dc5bda644cc7bb7d02659be998060b2 /NEWS | |
parent | 032f784601219474ac2a31d61caa071665451933 (diff) | |
download | make-git-c85b71a39620b41c764a58b1595fc1021545665a.tar.gz |
* NEWS: mention this.
* src/main.c (safer_ctime, time_now): Remove.
(print_data_base): Use file_timestamp_sprintf to format timestamps.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -9,6 +9,11 @@ which is contained in this distribution as the file doc/make.texi. See the README file and the GNU Make manual for instructions for reporting bugs. +* 'make --print-data-base' (or 'make -p') now outputs time of day + using the same form as for file timestamps, e.g., "2023-05-10 + 10:43:57.570558743". Previously it used the form "Wed May 10 + 10:43:57 2023", which has less detail and is harder to compare. + Version 4.5 (26 Feb 2023) |