add plugins folder.

2024-07-24 14:40:50 +12:00 · 2022-07-14 01:07:50 +02:00
parent b7926c335e
commit d08829493a
3 changed files with 8 additions and 0 deletions
--- a/5
+++ b/5
@ -64,6 +64,11 @@ rm -f bin/plugins/*
 #
 # build plugins
 for plugPath in ./plugins/*; do
+    if [ ! -d $plugPath ];
+    then
+        continue
+    fi
+
    pushd $plugPath

    echo "Building plugin: $plugPath"