diff options
Diffstat (limited to 'bin/cuirass.in')
-rw-r--r-- | bin/cuirass.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in index d30f788..a7af5b2 100644 --- a/bin/cuirass.in +++ b/bin/cuirass.in @@ -129,6 +129,12 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" (clear-build-queue) + ;; If Cuirass was stopped during an evaluation, consider + ;; it done. Builds that were not registered during this + ;; evaluation will be registered during the next + ;; evaluation. + (db-set-evaluations-done) + ;; First off, restart builds that had not completed or ;; were not even started on a previous run. (spawn-fiber |