diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/trees | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/script/trees b/script/trees index e22467f7..897c6ed3 100755 --- a/script/trees +++ b/script/trees @@ -39,7 +39,7 @@ main()  	remkdir "${tmpgit%/*}"  	_cmd="build_projects" -	[ -f "config/$project/build.list" ] && _cmd="build_targets" +	singletree "$project" || _cmd="build_targets"  	$_cmd $@  } | 
