[bug #19448] Re-exec after "include file rebuild" is more dependent on filesystem timestamps than strictly necessary.

Follow-up Comment #4, bug #19448 (project make): I agree with Paul. GNU make and posix have long decreed that equal timestamps of target and source imply up-to-dateness, and I would not seek to change that. [Any change to that rule would lead successive invocations of make (separated by, e.g.,

[bug #19448] Re-exec after "include file rebuild" is more dependent on filesystem timestamps than strictly necessary.

URL: Summary: Re-exec after "include file rebuild" is more dependent on filesystem timestamps than strictly necessary. Project: make Submitted by: kesterlester Submitted on: Thursday 03/29/2007 at 22