1 files changed, 13 insertions, 0 deletions
diff --git a/script/delete_dir.sh b/script/delete_dir.sh
new file mode 100644
index 0000000..93df582
--- /dev/null
+++ b/script/delete_dir.sh
@@ -0,0 +1,13 @@
+delete_dir() {
+    path="$1"
+
+    if [ "$DELETE_OBSOLETE" = 'YES' ]; then
+        if [ -e "$path" ]; then
+            echo '==='
+            echo "rmdir \"$path\""
+            if [ "$DRY" != 'YES' ]; then
+                rmdir "$path"
+	    fi
+        fi
+    fi
+}