diff options
| -rwxr-xr-x | script/update/project/repo | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/script/update/project/repo b/script/update/project/repo index 336fa84a..72328b45 100755 --- a/script/update/project/repo +++ b/script/update/project/repo @@ -84,7 +84,8 @@ clone_project() [ ! -d "${location}" ] || \ rm -Rf "${location}" || \ fail "clone_project: Can't remove directory '${location}'" - mkdir -p ${location%/*} + [ "${name}" != "rpi-pico-serprog" ] || mkdir -p ${location%/*} || \ + fail "clone_project: cannot make directory for rpi-pico-serprog" mv "${tmp_dir}" "${location}" || \ fail "clone_project: could not copy temp file to destination" } |