diff options
| -rwxr-xr-x | script/update/project/trees | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/update/project/trees b/script/update/project/trees index 38d2c59d..093d5086 100755 --- a/script/update/project/trees +++ b/script/update/project/trees @@ -87,8 +87,7 @@ check_config_for_target() fetch_from_upstream() { - [ -d "${project}" ] || mkdir -p "${project}" || return 1 - [ -d "${project}" ] || return 1 + [ -d "${project}" ] || x_ mkdir -p "${project}" [ -d "${project}/${project}" ] && return 0 x_ ./update project repo "${project}" |