diff options
| -rwxr-xr-x | script/trees | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/trees b/script/trees index 45d2a35e..34397edd 100755 --- a/script/trees +++ b/script/trees @@ -46,6 +46,8 @@ main() $_cmd $@ [ "$target1" = "utils" ] && [ "$project" = "coreboot" ] && return 0 + + [ -f "$listfile" ] || return 0 [ -z "$mode" ] && printf "\n\nDone! Check %s/\n\n" "$elfdir"; return 0 } @@ -68,6 +70,7 @@ build_projects() [ "$mode" = "distclean" ] && mode="clean" run_make_command || return 0 + [ -f "$listfile" ] || return 0 [ -n "$mode" ] || x_ mkdir -p "$elfdir" [ -n "$mode" ] || copy_elf; return 0 } |