Clean plugin dist before packaging
This commit is contained in:
parent
a7aa176e67
commit
20d1059edb
|
|
@ -115,6 +115,9 @@ if [ "$HAS_DEPS" -eq 0 ]; then
|
||||||
echo " ⚠️ some deps missing — will skip matching plugin parts"
|
echo " ⚠️ some deps missing — will skip matching plugin parts"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
rm -rf "$ROOT/dist"
|
||||||
|
mkdir -p "$ROOT/dist"
|
||||||
|
|
||||||
for plugin_dir in "$ROOT"/plugins/*/; do
|
for plugin_dir in "$ROOT"/plugins/*/; do
|
||||||
[ -d "$plugin_dir" ] || continue
|
[ -d "$plugin_dir" ] || continue
|
||||||
plugin_name="$(basename "$plugin_dir")"
|
plugin_name="$(basename "$plugin_dir")"
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue