Re: make speed and dependency

Not unless we want to manually track dependencies, which is how the
linux kernel currently works. I would venture to say that a make dep
&& make for the linux kernel takes the same amount of time as a plain
make would if the kernel automatically tracked dependencies. Currently
the make process only builds those sources which are out-of-date, so
while the initial build may take some time, any subsequent, incremental
builds, should be much faster. Manual dependency tracking would
require re-running 'make dep' each time you made a source change.

ahp