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 2d801d81d4b61cfa6ffc40216ba4a840422725f8..8a4aedb09f19dac8a96d5cc9d79a22e72a0e4757 100644 (file)
--- 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