Diff

Differences From Artifact [50ab5da7e8]:

To Artifact [1ca5386209]:


60
61
62
63
64
65
66



67
68
69
70
71
72
73
		;;
	android-arm)
		platform="arm-android9-linux-androideabi"
		;;
	netbsd-amd64)
		platform="x86_64-unknown-netbsd5"
		;;



	'')
		exit 0
		;;
	*)
		echo "Unknown platform: ${platform}" >&2

		exit 1







>
>
>







60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
		;;
	android-arm)
		platform="arm-android9-linux-androideabi"
		;;
	netbsd-amd64)
		platform="x86_64-unknown-netbsd5"
		;;
	freebsd-amd64)
		platform="x86_64-unknown-freebsd8"
		;;
	'')
		exit 0
		;;
	*)
		echo "Unknown platform: ${platform}" >&2

		exit 1