diff options
Diffstat (limited to 'script/trees')
| -rwxr-xr-x | script/trees | 2 |
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" |