Change 2484
Rework make0() to consider headers when deciding whether to
update a temporary source file. This makes it possible to
have generated, temporary source files that must be regened
because an included header has been updated.
=== computer:1666: Change 35018 by seiwald@play-seiwald on 2002/07/17 10:41:35
Followon to 35018: actually update a "needtmp" target (duh).
=== computer:1666: Change 35023 by seiwald@play-seiwald on 2002/07/17 11:10:16
Fix to 35018, which handled out-of-date header files built from
temporary sources. Unfortunately, the change made circular header
dependencies (which are legion) get reported. Now the circular
dependency reporting is done in the call to make0() rather than at
the beginning of make0(), and step 3b (the header recursion)
simply skips that check.
Change to unreleased behavior.
=== computer:1666: Change 36247 by seiwald@waffle-cyg-seiwald on 2002/09/16 16:15:10
update a temporary source file. This makes it possible to
have generated, temporary source files that must be regened
because an included header has been updated.
=== computer:1666: Change 35018 by seiwald@play-seiwald on 2002/07/17 10:41:35
Followon to 35018: actually update a "needtmp" target (duh).
=== computer:1666: Change 35023 by seiwald@play-seiwald on 2002/07/17 11:10:16
Fix to 35018, which handled out-of-date header files built from
temporary sources. Unfortunately, the change made circular header
dependencies (which are legion) get reported. Now the circular
dependency reporting is done in the call to make0() rather than at
the beginning of make0(), and step 3b (the header recursion)
simply skips that check.
Change to unreleased behavior.
=== computer:1666: Change 36247 by seiwald@waffle-cyg-seiwald on 2002/09/16 16:15:10
Tip: Use n and p to cycle through the changes.