Use $(MAKE) rather than make.

Per buildfarm.

diff --git a/src/port/Makefile b/src/port/Makefile
index ca8a9a0e6503ac6e292f090abdeafceb5116d578..c005140f83f78336833217dcb4f136de67f44912 100644 (file)
--- 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