find . -name 'stdint.h'

.github/workflows/build.yml

@@ -29,7 +29,8 @@ jobs:
            tar xf *-aarch64-none-elf.tar.xz
            wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-arm-none-eabi.tar.xz
            tar xf *-arm-none-eabi.tar.xz
-           ls -lh ./circle-stdlib/install/aarch64-none-circle/include/stdint.h # For debugging (can be removed later)
+           # ls -lh ./circle-stdlib/install/aarch64-none-circle/include/stdint.h # For debugging (can be removed later)
+           find . -name 'stdint.h'
            mkdir -p kernels
     - name: Build for Raspberry Pi 5
       run: |
@@ -52,7 +53,6 @@ jobs:
     - name: Build for Raspberry Pi 2
       run: |
            set -ex
-           ls -lh ./circle-stdlib/install/aarch64-none-circle/include/stdint.h # For debugging (can be removed later)
            export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH
            RPI=2 bash -ex build.sh
            cp ./src/kernel*.img ./kernels/