base: Keep going when a Git error is raised.

* src/cuirass/base.scm (process-specs): Catch 'git-error around call to
'process'.
This commit is contained in:
Ludovic Courtès 2018-11-20 16:42:30 +01:00
parent d0ed3341d7
commit 27f1463410
1 changed files with 10 additions and 1 deletions

View File

@ -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))