summaryrefslogtreecommitdiff
path: root/script
diff options
context:
space:
mode:
Diffstat (limited to 'script')
-rwxr-xr-xscript/trees2
1 files changed, 1 insertions, 1 deletions
diff --git a/script/trees b/script/trees
index 5c473970..45d2a35e 100755
--- a/script/trees
+++ b/script/trees
@@ -60,7 +60,7 @@ build_projects()
[ -f "$listfile" ] || listfile="" # optional on single-tree
dest_dir="$elfdir"
- elfcheck || return 0
+ [ ! -f "$listfile" ] || elfcheck || return 0
cdir="src/${project}"
[ -d "$cdir" ] || x_ ./update trees -f "$project"