summaryrefslogtreecommitdiff
path: root/script/build/release/src
diff options
context:
space:
mode:
authorRiku Viitanen <riku.viitanen@protonmail.com>2023-09-10 22:52:26 +0300
committerRiku Viitanen <riku.viitanen@protonmail.com>2023-09-10 22:52:26 +0300
commit34d3629ebf68595710015b52fbcd16a66b91df8c (patch)
tree50dd0ec15785d39833e897a685319d67df382c36 /script/build/release/src
parent087f0e066ac7b871c2b9cd6932610d952ff6a1bc (diff)
make clean stm32-vserprog for release
Signed-off-by: Riku Viitanen <riku.viitanen@protonmail.com>
Diffstat (limited to 'script/build/release/src')
-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