diff options
-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)" |