From c9b82ad18453e0504a97c9ef5a042a2925ec7dd9 Mon Sep 17 00:00:00 2001 From: Matthias Grob Date: Mon, 29 Jun 2020 21:59:17 +0200 Subject: [PATCH] ubuntu.sh: source .profile before checking for ARM GCC to avoid downloading and installing ARM GCC again if the script is reran immediately after e.g. because it failed the first time. --- Tools/setup/ubuntu.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index 9caef16532..3d9eab75a5 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -139,6 +139,7 @@ if [[ $INSTALL_NUTTX == "true" ]]; then # arm-none-eabi-gcc NUTTX_GCC_VERSION="7-2017-q4-major" + source $HOME/.profile # load changed path for the case the script is reran before relogin if [ $(which arm-none-eabi-gcc) ]; then GCC_VER_STR=$(arm-none-eabi-gcc --version) GCC_FOUND_VER=$(echo $GCC_VER_STR | grep -c "${NUTTX_GCC_VERSION}")