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 $@ } |