diff options
Diffstat (limited to 'resources/scripts/build/clean/crossgcc')
| -rwxr-xr-x | resources/scripts/build/clean/crossgcc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/scripts/build/clean/crossgcc b/resources/scripts/build/clean/crossgcc index 7b1765f8..c76d1849 100755 --- a/resources/scripts/build/clean/crossgcc +++ b/resources/scripts/build/clean/crossgcc @@ -37,7 +37,8 @@ clean_crossgcc() for board in coreboot/*; do [ -d "${board}" ] || continue [ "${board##*/}" = "coreboot" ] && continue - make -C "${board}/" crossgcc-clean || err "make-clean" + make -C "${board}/" crossgcc-clean || \ + err "clean_crossgcc: ${board}: !make crossgcc-clean" done } |