diff options
| -rwxr-xr-x | script/build/release/src | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/script/build/release/src b/script/build/release/src index 9e2192ec..b2d3b535 100755 --- a/script/build/release/src +++ b/script/build/release/src @@ -152,7 +152,8 @@ purge_files() cd "${srcdir}/" || \ err "purge_files 3: !cd ${srcdir}/" - ./handle make file -c coreboot/default/util/kbc1126 || \ + [ ! -d "coreboot/default/util/kbc1126" ] || \ + ./handle make file -c "coreboot/default/util/kbc1126" || \ err "purge_files 1: default/util/kbc1126: ! make clean" ./handle make config -x coreboot || \ err "purge_files: coreboot: cannot clean crossgcc files" |