From d249e328ba47ed032f2ace89494fe9c58330442a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Milants?= Date: Wed, 4 Jan 2023 16:57:39 +0100 Subject: [PATCH] Docker build script : use $GCC_ARM_PATH in wget command that downloads GCC to avoid code duplication. --- docker/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/build.sh b/docker/build.sh index 23fc9e03..25828e57 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -46,7 +46,7 @@ main() { } GetGcc() { - wget -q https://developer.arm.com/-/media/Files/downloads/gnu/$GCC_ARM_VER/binrel/arm-gnu-toolchain-$GCC_ARM_VER-$MACHINE-arm-none-eabi.tar.xz -O - | tar -xJ -C $TOOLS_DIR/ + wget -q https://developer.arm.com/-/media/Files/downloads/gnu/$GCC_ARM_VER/binrel/$GCC_ARM_PATH.tar.xz -O - | tar -xJ -C $TOOLS_DIR/ } GetMcuBoot() {