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