From 2c712d35df5d1514e28b479f960a53b89ce59424 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 7 Nov 2018 15:05:37 +0100
Subject: base: Clear the "in progress" bit of failed evaluations.

Fixes <https://bugs.gnu.org/32734>.

* src/cuirass/base.scm (evaluate): Call 'db-set-evaluation-done' upon
'&evaluation-error'.
---
 src/cuirass/base.scm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm
index 9b275f2..b321778 100644
--- a/src/cuirass/base.scm
+++ b/src/cuirass/base.scm
@@ -306,6 +306,7 @@ Return a list of jobs that are associated to EVAL-ID."
                    ;; otherwise, suppose that data read from port are
                    ;; correct and keep things going.
                    ((? eof-object?)
+                    (db-set-evaluation-done eval-id) ;failed!
                     (raise (condition
                             (&evaluation-error
                              (name (assq-ref spec #:name))))))
-- 
cgit v1.2.3