Use $(MAKE) rather than make.

Per buildfarm.

Use $(MAKE) rather than make.
6f59a5e5 · Robert Haas · 356f2cbb · 6f59a5e5
Commit 6f59a5e5 authored 14 years ago by Robert Haas
--- 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