Merge pull request NetSys#840 from NetSys/include_plugin_mk

makefile: allow plugins to inject .mk files
levaitamas · Aug 20, 2018 · ee98b1b · ee98b1b
2 parents fc9f723 + 218bb0b
commit ee98b1b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/Makefile b/core/Makefile
@@ -180,6 +180,9 @@ endif
 
 -include extra*.mk
 
+# Each plugin may have their own extra Makefile snippets
+-include $(addsuffix /extra*.mk,$(PLUGINS))
+
 # Given PLUGINS (set in extra.mk), set up PROTO_PLUGINS,
 # DRIVER_PLUGINS, MODULE_PLUGINS, and UTIL_PLUGINS.  Note
 # that paths in extra.mk are already absolute.  Use