From d08829493ad2643a9c8e8c1795d42002470d5167 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Miroslav=20=C5=A0ediv=C3=BD?= <sedivy.miro@gmail.com>
Date: Thu, 14 Jul 2022 01:07:50 +0200
Subject: [PATCH] add plugins folder.

---
 .gitignore       | 3 +++
 build            | 5 +++++
 plugins/.gitkeep | 0
 3 files changed, 8 insertions(+)
 create mode 100644 plugins/.gitkeep

diff --git a/.gitignore b/.gitignore
index 1e25df6c..3428a0df 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,6 @@ runtime/fonts/*
 
 runtime/icon-theme/*
 !runtime/icon-theme/.gitkeep
+
+plugins/*
+!plugins/.gitkeep
diff --git a/build b/build
index ea3ccae9..437dfeb0 100755
--- a/build
+++ b/build
@@ -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"
diff --git a/plugins/.gitkeep b/plugins/.gitkeep
new file mode 100644
index 00000000..e69de29b