diff --git a/script/trees b/script/trees index 98bef371..48e2b6fa 100755 --- a/script/trees +++ b/script/trees @@ -204,6 +204,7 @@ elfcheck() { # TODO: very hacky check. do it properly (based on build.list) for elftest in "$dest_dir"/*; do + [ -e "$elftest" ] || continue e "$elftest" f && return 1 done }