diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/trees | 1 |
1 files changed, 1 insertions, 0 deletions
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 } |