diff options
author | Riku Viitanen <riku.viitanen@protonmail.com> | 2023-09-11 11:58:16 +0300 |
---|---|---|
committer | Riku Viitanen <riku.viitanen@protonmail.com> | 2023-09-11 11:58:16 +0300 |
commit | 5737abf0ed432bab2cfa1a4556f97ad59939e23c (patch) | |
tree | f8570c2c5f7e14781723c014890347d9ad66b3c4 /script | |
parent | 0bed0c35f3d87024410560d8c346fc9dff1b3c0a (diff) |
make clean libopencm3
Signed-off-by: Riku Viitanen <riku.viitanen@protonmail.com>
Diffstat (limited to 'script')
-rwxr-xr-x | script/build/release/src | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/script/build/release/src b/script/build/release/src index 402775ab..b6f7cf3a 100755 --- a/script/build/release/src +++ b/script/build/release/src @@ -149,10 +149,14 @@ purge_files() err "purge_files: ${p}: cannot clean the source trees" done - for p in bios_extract flashrom grub uefitool util-fw/stm32-vserprog; do + for p in bios_extract flashrom grub uefitool; do ./handle make file -c "${p}" || \ err "purge_files: !./handle make file -c ${p}" done + for p in "stm32-serprog" "stm32-serprog/libopencm3"; do + ./handle make file -c "util-fw/${p}" || \ + err "purge_files !./handle make file util-fw/${p}" + done for p in 32 64; do ./handle make file -c "memtest86plus/build${p}" || \ err "purge_files: cannot clean memtest86+ build${p}" |