1 2 3 4 5 6 7
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.sh" echo "" }