branch wip-offload updated: tmp19

[Mathieu Othacehe]

This is an automated email from the git hooks/post-receive script.

mothacehe pushed a commit to branch wip-offload
in repository guix-cuirass.

The following commit(s) were added to refs/heads/wip-offload by this push:
     new c0035e7  tmp19
c0035e7 is described below

commit c0035e758636fd2eed912e0697558e6bbb1227c7
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Thu Dec 17 18:47:18 2020 +0100

    tmp19
---
 src/cuirass/remote-worker.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cuirass/remote-worker.scm b/src/cuirass/remote-worker.scm
index 7601982..c496114 100644
--- a/src/cuirass/remote-worker.scm
+++ b/src/cuirass/remote-worker.scm
@@ -141,7 +141,8 @@ ADDRESS and PORT."
 (define (empty-cache!)
   (let ((cache "/var/guix/substitute/cache"))
     (when (file-exists? cache)
-      (delete-file-recursively cache))))
+      (false-if-exception
+       (delete-file-recursively cache)))))
 
 (define* (run-build drv server
                     #:key