diff options
Diffstat (limited to 'resources/scripts/build/clean/crossgcc')
-rwxr-xr-x | resources/scripts/build/clean/crossgcc | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/resources/scripts/build/clean/crossgcc b/resources/scripts/build/clean/crossgcc index 6c09c878..8c61dd5f 100755 --- a/resources/scripts/build/clean/crossgcc +++ b/resources/scripts/build/clean/crossgcc @@ -25,14 +25,11 @@ set -u -e main() { printf "Cleaning crossgcc builds in all coreboot archives\n" - [ ! -d "coreboot/" ] && exit 0 for board in coreboot/*; do - [ "${board##*/}" = "coreboot" ] && \ - continue - [ ! -d "${board}" ] && \ - continue + [ "${board##*/}" = "coreboot" ] && continue + [ ! -d "${board}" ] && continue make -C "${board}/" crossgcc-clean || err "make-clean" done } |