Searched refs:DIST_DIR (Results 1 – 1 of 1) sorted by relevance
8 DIST_DIR="$ROOT_DIR/dist"14 mkdir -p "$DIST_DIR"41 zip -qr "$DIST_DIR/${PLUGIN_NAME}-${VERSION}.zip" "$PLUGIN_NAME" \45 echo "Created: $DIST_DIR/${PLUGIN_NAME}-${VERSION}.zip"