diff options
Diffstat (limited to 'resources/scripts/build/clean/seabios')
| -rwxr-xr-x | resources/scripts/build/clean/seabios | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/scripts/build/clean/seabios b/resources/scripts/build/clean/seabios index c6759e83..0178a729 100755 --- a/resources/scripts/build/clean/seabios +++ b/resources/scripts/build/clean/seabios @@ -40,7 +40,8 @@ clean_seabios() for x in seabios/*; do [ ! -d "${x}" ] && continue [ "${x}" = "seabios/seabios" ] && continue - make -C "${x}" distclean || err "cannot distclean tree, ${x}" + make -C "${x}" distclean || \ + err "clean_seabios: cannot distclean tree, ${x}" done } |