diff options
| -rw-r--r-- | scripts/guix-build-coordinator.in | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/guix-build-coordinator.in b/scripts/guix-build-coordinator.in index 9246bbf..72aa8d4 100644 --- a/scripts/guix-build-coordinator.in +++ b/scripts/guix-build-coordinator.in @@ -701,7 +701,14 @@ tags: (assq-ref opts 'ignore-if-build-required-by-another))) #:times 6 - #:delay 5))) + #:delay 5 + #:ignore + (lambda (exn) + (and (exception-with-message? exn) + (string=? + "build-already-canceled" + (assoc-ref (exception-message exn) + "error"))))))) (unless (string=? (assoc-ref result "result") "build-canceled") (simple-format #t "~A\n" |