Swapped GCC version from 8.2.1 to 13.2.1 (fix #2455)

.gitignore

@@ -29,6 +29,7 @@ node_modules
 /esp-idf
 xtensa-esp32-elf
 gcc-arm-none-eabi*
+arm-gnu-toolchain*
 *.c#
 /function_keywords.js
 /functions.html

ChangeLog

@@ -1,6 +1,7 @@
           : Graphics: Ensure floodFill sets modified area correctly
             nRF52: Lower expected BLE XTAL accuracy to 50ppm (can improve BLE stability on some Bangle.js 2)
             Emulator: force stack alignment of 'data' variable when accessing ArrayBuffers (fix #2463)
+            Swapped GCC version from 8.2.1 to 13.2.1 (fix #2455)
 
      2v21 : nRF52: free up 800b more flash by removing vector table padding
             Throw Exception when a Promise tries to resolve with another Promise (#2450)

scripts/provision.sh

@@ -240,8 +240,8 @@ fi
 if [ "$ARM" = "1" ]; then
     # defaulting to ARM
     echo ===== ARM
-    EXPECTEDARMGCCVERSION="8.2.1"
-    EXPECTEDARMGCCFILENAME="gcc-arm-none-eabi-8-2018-q4-major"
+    EXPECTEDARMGCCVERSION="13.2.1"
+    EXPECTEDARMGCCFILENAME="arm-gnu-toolchain-13.2.Rel1-x86_64-arm-none-eabi"
     if type arm-none-eabi-gcc 2> /dev/null > /dev/null; then
         ARMGCCVERSION=$(arm-none-eabi-gcc -dumpfullversion)
         echo arm-none-eabi-gcc installed, version $ARMGCCVERSION    
@@ -267,7 +267,7 @@ if [ "$ARM" = "1" ]; then
         #sudo DEBIAN_FRONTEND=noninteractive apt-get --force-yes --yes install libsdl1.2-dev gcc-arm-embedded
         # Unpack - newer, and much faster
         if [ ! -d "$EXPECTEDARMGCCFILENAME" ]; then
-          curl -Ls "https://github.com/espruino/EspruinoBuildTools/raw/master/arm/${EXPECTEDARMGCCFILENAME}-linux.tar.bz2" | tar xfj - --no-same-owner
+          curl -Ls "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" | tar xfJ - --no-same-owner
         else
             echo "Folder found"
         fi