Thread: pgsql: Use $(MAKE) rather than make.

pgsql: Use $(MAKE) rather than make.

From
Robert Haas
Date:
Use $(MAKE) rather than make.

Per buildfarm.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=postgresql.git;a=commitdiff;h=6f59a5e5dd73ec2c448dd7038accf5aaba6dc04b

Modified Files
--------------
src/port/Makefile |    2 +-
1 files changed, 1 insertions(+), 1 deletions(-)