Diff

Differences From Artifact [50ab5da7e8]:

To Artifact [1ca5386209]:


60
61
62
63
64
65
66



67
68
69
70
71
72
73
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