diff options
-rw-r--r-- | src/cuirass/base.scm | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm index b321778..c7447fa 100644 --- a/src/cuirass/base.scm +++ b/src/cuirass/base.scm @@ -734,4 +734,13 @@ started)." ;; 'spawn-fiber' returns zero values but we need one. *unspecified*)))) - (for-each process jobspecs)) + (for-each (lambda (spec) + ;; Catch Git errors, which might be transient, and keep going. + (catch 'git-error + (lambda () + (process spec)) + (lambda (key error) + (log-message "Git error while fetching inputs of '~a': ~s~%" + (assq-ref spec #:name) + (git-error-message error))))) + jobspecs)) |