[PATCH 3/3] 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 + src/main.c | 51 ++- 2 files changed, 11 insertions(+), 45 deletions(-) diff --git a/N

[PATCH 1/3] make -p buffer overrun fix with outlandish current time

* src/main.c (safer_ctime): New function. (print_data_base): Use it. --- src/main.c | 16 ++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/src/main.c b/src/main.c index 8215ed78..76e392de 100644 --- a/src/main.c +++ b/src/main.c @@ -3720,6 +3720,18 @@ print_version (

[PATCH 2/3] make -p uses same clock as rest of 'make'

Without this patch, the output of 'make -p' would generate output that sometimes incorrectly implied that the clock jumped backwards. * src/main.c (time_now): New function. (print_data_base): Use it. --- src/main.c | 33 +++-- 1 file changed, 31 insertions(+), 2 deletio

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

This is a followup to my earlier patch "Two 'make -p' timestamp issues" 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 la