diff --git a/build_library/toolchain_util.sh b/build_library/toolchain_util.sh index 5dbacdc135..aa44447171 100644 --- a/build_library/toolchain_util.sh +++ b/build_library/toolchain_util.sh @@ -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}" }