diff options
Diffstat (limited to 'build/external/Makefile')
| -rw-r--r-- | build/external/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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 |