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 ""
}