From a9eb3c83ceb46c233dea71fa205c86515d48bfb2 Mon Sep 17 00:00:00 2001 From: Feng Lee Date: Sun, 9 Aug 2015 17:30:31 +0800 Subject: [PATCH] plugins --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index b319d3928..a4121ee8c 100644 --- a/Makefile +++ b/Makefile @@ -34,8 +34,11 @@ rel: compile plugins: @for plugin in ./plugins/* ; do \ if [ -d $${plugin} ]; then \ - echo "copy $${plugin}"; \ - cp -R $${plugin} $(DIST)/plugins/ && rm -rf $(DIST)/$${plugin}/src/ ; \ + mkdir -p $(DIST)/$${plugin}/ ; \ + cp -R $${plugin}/ebin $(DIST)/$${plugin}/ ; \ + [ -d "$${plugin}/priv" ] && cp -R $${plugin}/priv $(DIST)/$${plugin}/ ; \ + [ -d "$${plugin}/etc" ] && cp -R $${plugin}/etc $(DIST)/$${plugin}/ ; \ + echo "$${plugin} copied" ; \ fi \ done