]> git.ipfire.org Git - thirdparty/make.git/commit
make -p now uses consistent timestamp format
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 10 May 2023 19:10:16 +0000 (12:10 -0700)
committerPaul Smith <psmith@gnu.org>
Sun, 14 May 2023 22:26:35 +0000 (18:26 -0400)
commitc85b71a39620b41c764a58b1595fc1021545665a
treed4bb82c03dc5bda644cc7bb7d02659be998060b2
parent032f784601219474ac2a31d61caa071665451933
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
src/main.c