pgAdmin III commit: Use $(MAKE) instead of make. - Mailing list pgadmin-hackers

From Dave Page
Subject pgAdmin III commit: Use $(MAKE) instead of make.
Date
Msg-id E1V0A05-0002zd-7s@gothos.postgresql.org
Whole thread Raw
List 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 by date:

Previous
From: Richard PALO
Date:
Subject: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Next
From: Dave Page
Date:
Subject: Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD