diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/build/release/src | 2 |
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 |