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
