Replying to myself:

If people are uncomfortable making this the default behavior,
then MAKETIMEADJUSTMAX could default to undefined or 0,
and then the outer check would be

if {defined(MAKETIMEADJUST) && MAKETIMEADJUST>0) {
    ...
}

That would mean that people would have to opt into the
behavior of automatically fixing timestamps, but at least
the capability would be available.

--- David A. Wheeler

_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to