build: Explicitly use gmake

[vpp.git] / build / external / Makefile

diff --git a/build/external/Makefile b/build/external/Makefile
index a445d7b..af2512c 100644 (file)
--- a/build/external/Makefile
+++ b/build/external/Makefile
@@ -15,7 +15,6 @@
 SHELL := $(shell which bash)
 
 DL_CACHE_DIR = $(HOME)/Downloads
-MAKE ?= make
 MAKE_ARGS ?= -j
 BUILD_DIR        ?= $(CURDIR)/_build
 INSTALL_DIR      ?= $(CURDIR)/_install
@@ -159,17 +158,17 @@ ifeq ($(INSTALLED_VER)$(INSTALLED_RPM_VER),)
        @echo "development package by invoking 'make install-ext-deps'"
        @echo "from the top level directory"
        @echo "=========================================================="
-       make config
+       $(MAKE) config
 else
 ifneq ($(INSTALLED_VER),)
        make check-deb
 endif
 ifneq ($(INSTALLED_RPM_VER),)
-       make check-rpm
+       $(MAKE) check-rpm
 endif
 endif
 
 ebuild-install:
 ifeq ($(INSTALLED_VER)$(INSTALLED_RPM_VER),)
-       make install
+       $(MAKE) install
 endif