From 5737abf0ed432bab2cfa1a4556f97ad59939e23c Mon Sep 17 00:00:00 2001 From: Riku Viitanen Date: Mon, 11 Sep 2023 11:58:16 +0300 Subject: make clean libopencm3 Signed-off-by: Riku Viitanen --- script/build/release/src | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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}" -- cgit v1.2.1