Fix extracted directory name

smuehlst · Jul 27, 2024 · 815745a · 815745a
1 parent 8f2f2c7
commit 815745a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/smoketest.yaml b/.github/workflows/smoketest.yaml
@@ -13,13 +13,13 @@ jobs:
         config:
         - { url:      "https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-arm-none-eabi.tar.xz",
             tarname:  "arm-gnu-toolchain-13.2.rel1-x86_64-arm-none-eabi.tar.xz",
-            dirname:  "arm-gnu-toolchain-13.2.rel1-x86_64-arm-none-eabi",
+            dirname:  "arm-gnu-toolchain-13.2.Rel1-x86_64-arm-none-eabi",
             prefix:   "arm-none-eabi-",
             circle-machine: "1",
             qemu-machine: "raspi0" }
         - { url:      "https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-aarch64-none-elf.tar.xz",
             tarname:  "arm-gnu-toolchain-13.2.rel1-x86_64-aarch64-none-elf.tar.xz",
-            dirname:  "arm-gnu-toolchain-13.2.rel1-x86_64-aarch64-none-elf",
+            dirname:  "arm-gnu-toolchain-13.2.Rel1-x86_64-aarch64-none-elf",
             prefix:   "aarch64-none-elf-",
             circle-machine: "3",
             qemu-machine: "raspi3" }