From: William Lallemand Date: Thu, 7 May 2026 14:49:56 +0000 (+0200) Subject: BUILD: use Makefile.mk instead of Makefile.inc in EXTRA_MAKE X-Git-Tag: v3.4-dev11~8 X-Git-Url: http://www.kaiwu.me/postgresql/commit/?a=commitdiff_plain;h=157e24272f0b4f4cabadd9aae4a672f4b9b7202c;p=haproxy.git 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" --- 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