From 58729fd70032afb8eea61cbdc9256979061945b6 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Mon, 15 Apr 2019 13:22:35 -0400 Subject: 3rdparty/local.mk: Replace "make" with "$(MAKE)" --- diff --git a/3rdparty/local.mk b/3rdparty/local.mk index c93c4de..7a294b7 100644 --- a/3rdparty/local.mk +++ b/3rdparty/local.mk @@ -3,9 +3,9 @@ pkglibexecdir = $(libexecdir)/$(PACKAGE) if EMBEDDED_USIGN pkglibexec_SCRIPTS = 3rdparty/usign/usign$(EXEEXT) 3rdparty/usign/usign$(EXEEXT): - (cd 3rdparty/usign/ && make VERBOSE=$(V)) + (cd 3rdparty/usign/ && $(MAKE) VERBOSE=$(V)) clean-local: - -(cd 3rdparty/usign/ && make VERBOSE=$(V) clean) + -(cd 3rdparty/usign/ && $(MAKE) VERBOSE=$(V) clean) distclean-local: -rm -Rf 3rdparty/usign/CMakeFiles/ -rm -f 3rdparty/usign/CMakeCache.txt 3rdparty/usign/Makefile \ -- cgit v0.9.1