Skip Risc-V toolchain builds for speed, as it won't update frequently

Author: will-v-pi

.github/workflows/build.yml

@@ -96,7 +96,7 @@ jobs:
         with:
           ssh-private-key: ${{ secrets.SSH_KEY }}
       - name: Build
-        run: ./build_linux.sh
+        run: SKIP_RISCV=1 ./build_linux.sh
       - name: Upload Artifact
         uses: actions/upload-artifact@v4
         with:

build_linux.sh

@@ -40,7 +40,7 @@ done < <(echo "$repos")
 
 
 cd $builddir
-if [[ $(uname -m) == 'aarch64' ]]; then
+if [[ "$SKIP_RISCV" != 1 ]] && [[ $(uname -m) == 'aarch64' ]]; then
     # Only need this for pi, and it takes ages to build
     ../packages/linux/riscv/build-riscv-gcc.sh
 fi
@@ -88,7 +88,7 @@ pushd "$builddir/openocd-install/usr/local/bin"
 tar -a -cf "$topd/bin/$filename" * -C "../share/openocd" "scripts"
 popd
 
-if [[ $(uname -m) == 'aarch64' ]]; then
+if [[ "$SKIP_RISCV" != 1 ]] && [[ $(uname -m) == 'aarch64' ]]; then
     # Package riscv toolchain separately as well
     version="14"
     echo "Risc-V Toolchain version $version"