Merge pull request #641 from dm0-/toolchain

toolchain: always run gcc-config
This commit is contained in:
David Michael 2017-02-17 11:38:16 -08:00 committed by GitHub
commit 1538d40fe9

View File

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