@@ -63,10 +63,24 @@ rm -rf out exit 0 } + +function not_platforms_regexp () { + local platform_re + + for platform_re in "$@"; do + if echo "${PLATFORM}" | grep -- "${platform_re}" >/dev/null; then + rm -rf out + + exit 0 + fi + done + + return 0 +} function download () { local url file file="$1"