From 2e01595be731d67fd84d11f1c72a3d15b0fb31ff Mon Sep 17 00:00:00 2001 From: Feng Lee Date: Thu, 6 Aug 2015 00:01:25 +0800 Subject: [PATCH] plugins --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2d8b5b01a..b319d3928 100644 --- a/Makefile +++ b/Makefile @@ -29,11 +29,14 @@ edoc: @$(REBAR) doc rel: compile - @cd rel && ../rebar generate -f + @cd rel && $(REBAR) generate -f plugins: @for plugin in ./plugins/* ; do \ + if [ -d $${plugin} ]; then \ + echo "copy $${plugin}"; \ cp -R $${plugin} $(DIST)/plugins/ && rm -rf $(DIST)/$${plugin}/src/ ; \ + fi \ done dist: rel plugins