diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/trees | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/script/trees b/script/trees index a3e33f13..13c818ab 100755 --- a/script/trees +++ b/script/trees @@ -207,9 +207,8 @@ 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 + [ -e "$elftest" ] && e "$elftest" f && return 1 + done; return 0 } handle_makefile() |