haui/InfiniTime_mirror
1
0
Fork 1
mirror of https://github.com/InfiniTimeOrg/InfiniTime.git synced 2024-10-22 15:11:51 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Docker build script : use $GCC_ARM_PATH in wget command that downloads GCC to avoid code duplication.

Browse source
This commit is contained in:
Jean-François Milants 2023-01-04 16:57:39 +01:00
parent ea024ebd05
commit d249e328ba
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docker/build.sh
View file

@ -46,7 +46,7 @@ main() {
} }
GetGcc() { 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() { GetMcuBoot() {