Re: make speed and dependency - Mailing list pgadmin-hackers

From Adam H.Pendleton
Subject Re: make speed and dependency
Date
Msg-id B9ABAB39-924C-11D7-8317-000A9566CE14@fmonkey.net
Whole thread Raw
In response to make speed and dependency  (Andreas Pflug <Andreas.Pflug@web.de>)
List pgadmin-hackers
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

Attachment

pgadmin-hackers by date:

Previous
From: Andreas Pflug
Date:
Subject: make speed and dependency
Next
From: Jean-Michel POURE
Date:
Subject: Re: pgAdmin3 translation, Oid datatype