From 157e24272f0b4f4cabadd9aae4a672f4b9b7202c Mon Sep 17 00:00:00 2001 From: William Lallemand Date: Thu, 7 May 2026 16:49:56 +0200 Subject: [PATCH] BUILD: use Makefile.mk instead of Makefile.inc in EXTRA_MAKE Use an external Makefile called Makefile.mk in order to build complex addons. make TARGET=linux-glibc ... EXTRA_MAKE="/path/to/addon1" \ EXTRA_MAKE+="/path/to/addon2" --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2d801d81d..8a4aedb09 100644 --- a/Makefile +++ b/Makefile @@ -866,7 +866,7 @@ ifneq ($(USE_OT:0=),) endif ifneq ($(EXTRA_MAKE),) - include $(addsuffix /Makefile.inc,$(EXTRA_MAKE)) + include $(addsuffix /Makefile.mk,$(EXTRA_MAKE)) endif # better keep this one close to the end, as several libs above may need it