From 6c54aba9039aaaaba662098283285ec64f5d5dbc Mon Sep 17 00:00:00 2001 From: probonopd Date: Mon, 21 Feb 2022 21:53:53 +0100 Subject: [PATCH] Do not delete sdcard/config32.txt It is needed for 32-bit Raspberry Pi systems --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 97f7022..248bf33 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -63,7 +63,7 @@ jobs: mkdir -p sdcard cp -r ./circle-stdlib/libs/circle/boot/* sdcard mv sdcard/config64.txt sdcard/config.txt - rm -rf sdcard/config32.txt sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux + rm -rf sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux cp ./src/*img sdcard/ cd sdcard cp ../kernels/* . || true