Change 2527
Fix to 38399 [Public Depot 2499], which broke 35018 [2484],
which made make0() consider headers when deciding whether to
update a temporary source file. Now we deliberately scan the
list of included headers to see if their update time is newer
than the target's parents, which can cause that target to get
built if it is a temp.
Change to unreleased behavior.
=== computer:1666: Change 39049 by seiwald@play-seiwald on 2002/12/16 21:21:04
which made make0() consider headers when deciding whether to
update a temporary source file. Now we deliberately scan the
list of included headers to see if their update time is newer
than the target's parents, which can cause that target to get
built if it is a temp.
Change to unreleased behavior.
=== computer:1666: Change 39049 by seiwald@play-seiwald on 2002/12/16 21:21:04