diff options
| author | Leah Rowe <leah@libreboot.org> | 2024-07-18 23:23:02 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2024-07-18 23:23:50 +0100 |
| commit | 0e0b12a630d2f4846488233cf33fe4abaa185112 (patch) | |
| tree | 4a042d2e4b6b6df5077dce75233170128b3368c1 /include/git.sh | |
| parent | 9b1b955767fc2e750095d302aa4f95680e2cfacb (diff) | |
git.sh: warn when a cached clone fails
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include/git.sh')
| -rw-r--r-- | include/git.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/git.sh b/include/git.sh index 43a45434..3a6247d0 100644 --- a/include/git.sh +++ b/include/git.sh @@ -101,6 +101,8 @@ fetch_submodule() tmpclone() { + [ "$repofail" = "y" ] && \ + printf "Cached clone failed; trying online.\n" 1>&2 repofail="n" [ $# -lt 6 ] || rm -Rf "$3" || $err "git retry: !rm $3 ($1)" |