From: Robert Haas <rhaas@postgresql.org>
Date: Fri, 4 Feb 2011 14:48:32 +0000 (-0500)
Subject: Use $(MAKE) rather than make.
X-Git-Url: http://git.postgresql.org/gitweb/-?a=commitdiff_plain;h=6f59a5e5dd73ec2c448dd7038accf5aaba6dc04b;p=users%2Fc2main%2Fpostgres.git

Use $(MAKE) rather than make.

Per buildfarm.
---

diff --git a/src/port/Makefile b/src/port/Makefile
index ca8a9a0e65..c005140f83 100644
--- a/src/port/Makefile
+++ b/src/port/Makefile
@@ -75,7 +75,7 @@ $(OBJS_SRV): | submake-errcodes
 .PHONY: submake-errcodes
 
 submake-errcodes:
-	make -C ../backend submake-errcodes
+	$(MAKE) -C ../backend submake-errcodes
 
 # Dependency is to ensure that path changes propagate