diff options
| author | Riku Viitanen <riku.viitanen@protonmail.com> | 2023-09-10 22:52:26 +0300 |
|---|---|---|
| committer | Riku Viitanen <riku.viitanen@protonmail.com> | 2023-09-10 22:52:26 +0300 |
| commit | 34d3629ebf68595710015b52fbcd16a66b91df8c (patch) | |
| tree | 50dd0ec15785d39833e897a685319d67df382c36 /script/build | |
| parent | 087f0e066ac7b871c2b9cd6932610d952ff6a1bc (diff) | |
make clean stm32-vserprog for release
Signed-off-by: Riku Viitanen <riku.viitanen@protonmail.com>
Diffstat (limited to 'script/build')
| -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 |