diff options
| -rwxr-xr-x | script/trees | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/trees b/script/trees index de9cc869..da6069eb 100755 --- a/script/trees +++ b/script/trees @@ -139,7 +139,7 @@ handle_src_tree() if [ ! -d "$cdir" ]; then if [ "$mode" = "distclean" ] || \ [ "$mode" = "crossgcc-clean" ]; then - printf "Directory %s missing; skip\n" "$cdir" 1>&2 + printf "Dir '%s' missing; skip clean\n" "$cdir" 1>&2 return 1 fi x_ ./update trees -f "$project" "$target" |