Diff

Differences From Artifact [ad199373ac]:

To Artifact [d35eb59bb1]:


    24     24   	local platform
    25     25   
    26     26   	for platform in "$@"; do
    27     27   		if [ "${PLATFORM}" = "${platform}" ]; then
    28     28   			return 0
    29     29   		fi
    30     30   	done
           31  +
           32  +	rm -rf out
           33  +
           34  +	exit 0
           35  +}
           36  +
           37  +function only_platforms_regexp () {
           38  +	local platform_re
           39  +
           40  +	for platform_re in "$@"; do
           41  +		if echo "${PLATFORM}" | grep -- "${platform_re}" >/dev/null; then
           42  +			return 0
           43  +		fi
           44  +	done
    31     45   
    32     46   	rm -rf out
    33     47   
    34     48   	exit 0
    35     49   }
    36     50   
    37     51   function download () {