summaryrefslogtreecommitdiff
path: root/script
diff options
context:
space:
mode:
Diffstat (limited to 'script')
-rwxr-xr-xscript/build/release/src2
1 files changed, 1 insertions, 1 deletions
diff --git a/script/build/release/src b/script/build/release/src
index 86c435b2..8d36e5fb 100755
--- a/script/build/release/src
+++ b/script/build/release/src
@@ -148,7 +148,7 @@ purge_files()
err "purge_files: ${p}: cannot clean the source trees"
done
- for p in bios_extract flashrom grub uefitool; do
+ for p in bios_extract flashrom grub uefitool util-fw/stm32-vserprog; do
./handle make file -c "${p}" || \
err "purge_files: !./handle make file -c ${p}"
done