From 6f59a5e5dd73ec2c448dd7038accf5aaba6dc04b Mon Sep 17 00:00:00 2001
From: Robert Haas <rhaas@postgresql.org>
Date: Fri, 4 Feb 2011 09:48:32 -0500
Subject: [PATCH] Use $(MAKE) rather than make.

Per buildfarm.
---
 src/port/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/port/Makefile b/src/port/Makefile
index ca8a9a0e650..c005140f83f 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
 
-- 
GitLab