wirtz
/
MiniDexed
mirror of https://github.com/probonopd/MiniDexed
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

ls -lh (...)/stdint.h # For debugging (can be removed later)

Browse Source
pull/868/head
probonopd 1 month ago committed by GitHub
parent 8eefc5ceea
commit 62ec6b2671
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      .github/workflows/build.yml

2
.github/workflows/build.yml
Unescape View File

@ -29,6 +29,7 @@ jobs:
tar xf *-aarch64-none-elf.tar.xz 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 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 tar xf *-arm-none-eabi.tar.xz
ls -lh ./circle-stdlib/install/aarch64-none-circle/include/stdint.h # For debugging (can be removed later)
mkdir -p kernels mkdir -p kernels
- name: Build for Raspberry Pi 5 - name: Build for Raspberry Pi 5
run: | run: |
@ -51,6 +52,7 @@ jobs:
- name: Build for Raspberry Pi 2 - name: Build for Raspberry Pi 2
run: | run: |
set -ex 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 export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH
RPI=2 bash -ex build.sh RPI=2 bash -ex build.sh
cp ./src/kernel*.img ./kernels/ cp ./src/kernel*.img ./kernels/

Write Preview
Loading…
Cancel
Save