diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-09-03 17:28:10 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-09-03 17:28:10 +0100 |
| commit | c63052cf19c4cb04b878a9fb5806ecea7e73273c (patch) | |
| tree | a01a6030014ffad1249049f26826eb8d13ef4011 /script/update/project | |
| parent | fb4e6834c1be0000187b2de7bbc439783ad8c40f (diff) | |
fix memtest86plus download/build
the mkdir command in update/project/repo, added for
pico-pi integration, broke a bunch of other downloads.
the fix is a bit of a hack but it should hold for now.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'script/update/project')
| -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" } |