summaryrefslogtreecommitdiff
path: root/script
diff options
context:
space:
mode:
Diffstat (limited to 'script')
-rwxr-xr-xscript/build/release/src6
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}"