[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Paul Eggert
Subject: [PATCH 0/3] fix clock skew and unlikely timestamp crashes
Date: Wed, 10 May 2023 12:10:13 -0700

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

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(-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]