summaryrefslogtreecommitdiff
path: root/script/trees
diff options
context:
space:
mode:
Diffstat (limited to 'script/trees')
-rwxr-xr-xscript/trees1
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
}