Re: [pgadmin-hackers] make speed and dependency

[Adam H . Pendleton]

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

PGP.sig
Description: PGP signature