Re: make speed and dependency

Поиск
Список
Период
Сортировка
От Adam H.Pendleton
Тема Re: make speed and dependency
Дата
Msg-id B9ABAB39-924C-11D7-8317-000A9566CE14@fmonkey.net
обсуждение исходный текст
Ответ на make speed and dependency  (Andreas Pflug <Andreas.Pflug@web.de>)
Список 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

Вложения

В списке pgadmin-hackers по дате отправления:

Предыдущее
От: Andreas Pflug
Дата:
Сообщение: make speed and dependency
Следующее
От: Jean-Michel POURE
Дата:
Сообщение: Re: pgAdmin3 translation, Oid datatype