From d3548160c97af549f9d2eb8111f7be91668f7fcb Mon Sep 17 00:00:00 2001
From: Andrew Belt <andrewpbelt@gmail.com>
Date: Fri, 10 May 2019 13:23:13 -0400
Subject: [PATCH] Merge all `make *plugins` targets into `make plugins`

---
 Makefile | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/Makefile b/Makefile
index 145d2bab..89623ffc 100644
--- a/Makefile
+++ b/Makefile
@@ -173,16 +173,11 @@ endif
 # Plugin helpers
 
 plugins:
+ifdef CMD
+	for f in plugins/*; do (cd "$$f" && $(CMD)); done
+else
 	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
-
-cmdplugins:
-	for f in plugins/*; do (cd "$$f" && ${CMD}); done
+endif
 
 
 # Includes