From 34779f470ae301ea555977275e6cdac7f6e94ad9 Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Sun, 20 Feb 2022 11:36:42 +0100
Subject: [PATCH] Use build.sh

---
 .github/workflows/build.yml | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b88a7f8..4a214de 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -26,18 +26,9 @@ jobs:
     - name: Build circle-stdlib library
       run: |
            export PATH=$(readlink -f ./gcc-*/bin/):$PATH
-           cd circle-stdlib/
-           # git submodule update --init --recursive
-           ./configure -r 4 --prefix "aarch64-none-elf-"
-           # ( cd libs/circle ; git submodule update --init --recursive ) # FIXME: Find a way without the need for this
-           make -j$(nproc)
-           cd ..
-    - name: Build MiniDexed
-      run: |
-           export PATH=$(readlink -f ./gcc-*/bin/):$PATH
-           cd src
-           make -j$(nproc)
-           ls *.img
+           RPI=4 bash -ex build.sh
+           RPI=3 bash -ex build.sh
+           ls src/*.img
     - name: Get Raspberry Pi boot files
       run: |
            export PATH=$(readlink -f ./gcc-*/bin/):$PATH