post_install() {
	echo "bootlin toolchain installed to /opt/mips32el-musl-bleeding-edge"
	echo "The PATH variable will be updated on re-login. To immediately load it:"
	echo ""
	echo "	source /etc/profile.d/mips32el-musl-bleeding-edge-toolchain.sh"
	echo ""
}