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 781e4055..fa456631 100755 --- a/script/trees +++ b/script/trees @@ -69,7 +69,7 @@ build_project() [ ! -f "$listfile" ] || elfcheck || return 0 cdir="src/${project}" - [ -d "$cdir" ] || x_ ./update trees -f "$project" + x_ ./update trees -f "$project" [ "$mode" = "distclean" ] && mode="clean" run_make_command || return 0 |