[PATCH 0/3] fix clock skew and unlikely timestamp crashes

[Paul Eggert]

This is a followup to my earlier patch "Two 'make -p' timestamp
issues" <https://lists.gnu.org/r/bug-make/2023-03/msg00081.html> which
hasn't been incorporated yet into the master branch. Although that
patch was simple, it changes the output format of 'make -p' and I
assume that's why it's still languishing. To help make it easier to
review I have split it up into three patches, the combined effect of
which is the same as the original proposal.

Patch 0001 fixes a buffer overrun when the current time has a value
far in the past or future.

Patch 0002 fixes a clock skew race bug, in which the 'make' output can
make it look like the system clock jumped backwards, even though it
didn't.

Patch 0003 improves the output format of 'make -p' by having it use a
consistent form for timestamps, rather than one form for current time
(with less precision) and a different form for file timestamps.
This is the only part of the patch that possibly needs a NEWS entry,
as the other two patches are purely bug fixes.

Paul Eggert (3):
  make -p buffer overrun fix with outlandish current time
  make -p uses same clock as rest of 'make'
  make -p now uses consistent timestamp format

 NEWS       |  5 +++++
 src/main.c | 10 ++++++----
 2 files changed, 11 insertions(+), 4 deletions(-)

--
2.39.2