From da4240b559ba81a2ef81bfecea7658a3d41f9848 Mon Sep 17 00:00:00 2001 From: Andrew Belt Date: Tue, 19 Sep 2017 21:48:18 -0400 Subject: [PATCH] Add convenient Makefile targets for building plugins --- Makefile | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index ae8d898b..2c7e118b 100644 --- a/Makefile +++ b/Makefile @@ -151,5 +151,18 @@ else endif -eachplugin: - $(foreach f,$(wildcard plugins/*),(cd $f && ${CMD});) +# Plugin helpers + +allplugins: + for f in plugins/*; do $(MAKE) -C "$$f"; done + +cleanplugins: + for f in plugins/*; do $(MAKE) -C "$$f" clean; done + +distplugins: + for f in plugins/*; do $(MAKE) -C "$$f" dist; done + +plugins: + for f in plugins/*; do (cd "$$f" && ${CMD}); done + +.PHONY: all run debug clean dist allplugins cleanplugins distplugins plugins