From c85b71a39620b41c764a58b1595fc1021545665a Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 10 May 2023 12:10:16 -0700 Subject: make -p now uses consistent timestamp format * NEWS: mention this. * src/main.c (safer_ctime, time_now): Remove. (print_data_base): Use file_timestamp_sprintf to format timestamps. --- NEWS | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'NEWS') diff --git a/NEWS b/NEWS index 295a2a4e..16348d67 100644 --- a/NEWS +++ b/NEWS @@ -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) -- cgit v1.2.1