toolchain: always run gcc-config

This commit is contained in:
David Michael 2017-02-16 17:54:06 -08:00
parent 06c80eb38a
commit 3d68362d02

View File

@ -408,7 +408,5 @@ gcc_set_latest_profile() {
sudo="sudo -E" sudo="sudo -E"
fi fi
if [[ "${latest}" != $(gcc-config -c "$1") ]]; then
$sudo gcc-config "${latest}" $sudo gcc-config "${latest}"
fi
} }