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

From: Dave Page <dpage(at)pgadmin(dot)org>
To: pgadmin-hackers(at)postgresql(dot)org
Subject: pgAdmin III commit: Use $(MAKE) instead of make.
Date: 2013-07-19 12:41:33
Message-ID: E1V0A05-0002zd-7s@gothos.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: 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(dot)palo(at)baou(dot)fr>

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

Browse pgadmin-hackers by date

  From Date Subject
Next Message Dave Page 2013-07-19 12:48:14 Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Previous Message Richard PALO 2013-07-19 12:29:12 RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD