setup: fix wget

This commit is contained in:
Ramon Roche 2023-07-05 14:33:53 -07:00
parent 11ecdd5a4a
commit 2ca6f27744
No known key found for this signature in database
GPG Key ID: 275988FAE5821713
1 changed files with 1 additions and 1 deletions

View File

@ -208,7 +208,7 @@ if [[ $INSTALL_NUTTX == "true" ]]; then
COMPILER_NAME="gcc-arm-none-eabi-${NUTTX_GCC_VERSION}"
COMPILER_PATH="/tmp/$COMPILER_NAME-linux.tar.bz2"
if [ ! -f "$COMPILER_PATH" ]; then
wget -O "/tmp/gcc-arm-none-eabi-${NUTTX_GCC_VERSION}-linux.tar.bz2 https://developer.arm.com/-/media/Files/downloads/gnu-rm/${NUTTX_GCC_VERSION}/gcc-arm-none-eabi-${NUTTX_GCC_VERSION}-${INSTALL_ARCH}-linux.tar.bz2"
wget -O "/tmp/gcc-arm-none-eabi-${NUTTX_GCC_VERSION}-linux.tar.bz2" "https://developer.arm.com/-/media/Files/downloads/gnu-rm/${NUTTX_GCC_VERSION}/gcc-arm-none-eabi-${NUTTX_GCC_VERSION}-${INSTALL_ARCH}-linux.tar.bz2"
fi
sudo tar -jxf $COMPILER_PATH -C /opt/;