diff options
Diffstat (limited to 'script/build/release/src')
| -rwxr-xr-x | script/build/release/src | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script/build/release/src b/script/build/release/src index 719b0043..596454e0 100755 --- a/script/build/release/src +++ b/script/build/release/src @@ -162,7 +162,7 @@ purge_files() err "purge_files: ${p}: cannot clean the source trees" done - for p in bios_extract flashrom grub ich9utils uefitool; do + for p in bios_extract flashrom grub uefitool; do ./handle make file -c "${p}" || \ err "purge_files: !./handle make file -c ${p}" done @@ -170,7 +170,7 @@ purge_files() ./handle make file -c "memtest86plus/build${p}" || \ err "purge_files: cannot clean memtest86+ build${p}" done - for p in "nvmutil" "ich9utils" "spkmodem_recv" "e6400-flash-unlock"; do + for p in "nvmutil" "spkmodem_recv" "e6400-flash-unlock"; do make clean -C "util/${p}" || \ err "purge_files 2: !make clean -C ${util}/p" done |