diff options
| author | Leah Rowe <leah@libreboot.org> | 2025-05-25 20:58:04 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2025-05-25 20:58:04 +0100 |
| commit | 9583a3919ca06cb67b2cdda34b1972a3051d0cb0 (patch) | |
| tree | 0f5c93a3e2e32396bb0939d5743074fc65cb46e3 /include/get.sh | |
| parent | 383b9754fc65ed407ff57c8bc917ab839d37b0a7 (diff) | |
| parent | 30bc3732c39cbb14faa8f7caf0c9206f6a401008 (diff) | |
Merge branch 'master' into 25.06_branch
Diffstat (limited to 'include/get.sh')
| -rw-r--r-- | include/get.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/get.sh b/include/get.sh index 6f1b5f1d..3d06eb4a 100644 --- a/include/get.sh +++ b/include/get.sh @@ -111,7 +111,8 @@ try_file() eval "[ -$echk \"$cached\" ] || return 1" if [ "$2" = "git" ]; then - [ -d "$5" ] || tmpclone "$cached" "$5" "$6" "$7" || return 1 + [ -d "$5" ] || tmpclone "$cached" "$5" "$6" "$7" || \ + err "Can't clone final repo in command: try_file $*"; : else bad_checksum "$6" "$cached" && x_ rm -f "$cached" && return 1 [ "$cached" != "$5" ] && x_ cp "$cached" "$5" |