From 3d68362d0212fadcfe3e9d6b6430295caa759c12 Mon Sep 17 00:00:00 2001 From: David Michael Date: Thu, 16 Feb 2017 17:54:06 -0800 Subject: [PATCH] toolchain: always run gcc-config --- build_library/toolchain_util.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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}" }