From 893dacae3f93dcab24fdeb0c7e4a44d30b2db0ee Mon Sep 17 00:00:00 2001 From: Renato Botelho do Couto Date: Wed, 5 Jun 2024 18:11:46 +0000 Subject: build: Use $(MAKE) instead of direct call to make No functional changes, just make it to respect original make binary name used to start building Type: improvement Change-Id: Ic8568237fbb39c6a0d3b7405a9670e9410aeb752 Signed-off-by: Renato Botelho do Couto --- build/external/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'build/external/Makefile') diff --git a/build/external/Makefile b/build/external/Makefile index 046dd7484ae..3cb7b47f436 100644 --- a/build/external/Makefile +++ b/build/external/Makefile @@ -94,7 +94,7 @@ build-deb: $(DEV_DEB) install-deb: ifneq ($(INSTALLED_VER),$(DEB_VER)-$(PKG_SUFFIX)) - @make $(DEV_DEB) + @$(MAKE) $(DEV_DEB) @sudo dpkg -i $(DEV_DEB) else @echo "==========================================================" @@ -175,7 +175,7 @@ ifeq ($(INSTALLED_VER)$(INSTALLED_RPM_VER),) $(MAKE) config else ifneq ($(INSTALLED_VER),) - make check-deb + $(MAKE) check-deb endif ifneq ($(INSTALLED_RPM_VER),) $(MAKE) check-rpm -- cgit 1.2.3-korg