make vs. gmake

Поиск
Список
Период
Сортировка
От Bruce Momjian
Тема make vs. gmake
Дата
Msg-id 20130726174932.GA1368@momjian.us
обсуждение исходный текст
Ответы Re: make vs. gmake  (Bruce Momjian <bruce@momjian.us>)
Список pgsql-docs
Дерево обсуждения 
FYI, our source code build  docs suggest 'gmake' in a number of places
while 'make' would be used on other platforms.  Should we change these
to just say 'make'?  I think we suggested 'gmake' in the past because of
FreeBSD having BSD 'make' and requring GNU make.

--
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

  + It's impossible for everything to be true. +

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

Предыдущее
От: Bruce Momjian
Дата:
Сообщение: Re: [BUGS] BUG #7652: Documentation index lacks functions from "Additional Supplied Modules"
Следующее
От: Andreas Heiduk
Дата:
Сообщение: Re: [BUGS] BUG #7652: Documentation index lacks functions from "Additional Supplied Modules"