@@ -26,10 +26,24 @@ for platform in "$@"; do if [ "${PLATFORM}" = "${platform}" ]; then return 0 fi done + + rm -rf out + + exit 0 +} + +function only_platforms_regexp () { + local platform_re + + for platform_re in "$@"; do + if echo "${PLATFORM}" | grep -- "${platform_re}" >/dev/null; then + return 0 + fi + done rm -rf out exit 0 }