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