git.sh: warn when a cached clone fails

Signed-off-by: Leah Rowe <leah@libreboot.org>
audit6
Leah Rowe 2024-07-18 23:23:02 +01:00
parent 9b1b955767
commit 0e0b12a630
1 changed files with 2 additions and 0 deletions

View File

@ -101,6 +101,8 @@ fetch_submodule()
tmpclone() tmpclone()
{ {
[ "$repofail" = "y" ] && \
printf "Cached clone failed; trying online.\n" 1>&2
repofail="n" repofail="n"
[ $# -lt 6 ] || rm -Rf "$3" || $err "git retry: !rm $3 ($1)" [ $# -lt 6 ] || rm -Rf "$3" || $err "git retry: !rm $3 ($1)"