pgAdmin III commit: Use $(MAKE) instead of make.

Поиск
Список
Период
Сортировка
От Dave Page
Тема pgAdmin III commit: Use $(MAKE) instead of make.
Дата
Msg-id E1V0A05-0002zd-7s@gothos.postgresql.org
обсуждение исходный текст
Список pgadmin-hackers
Дерево обсуждения 
Use $(MAKE) instead of make.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commitdiff;h=04f90efd7035f6207c7bf917bd753d138e584f84
Author: Richard PALO <richard.palo@baou.fr>

Modified Files
--------------
Makefile.am |    2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

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

Предыдущее
От: Richard PALO
Дата:
Сообщение: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Следующее
От: Dave Page
Дата:
Сообщение: Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD