diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-02-14 20:16:35 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-02-14 20:16:35 +0100 |
| commit | 8080c17c21fc605674d1d257813e74bb4fb3cfc0 (patch) | |
| tree | 721049c178ddc09ac7e8ae134452d21a862e6a7f /bin | |
| parent | bc723b0835442b7e3e2f97957f4aad0161b1d47f (diff) | |
| download | cuirass-8080c17c21fc605674d1d257813e74bb4fb3cfc0.tar cuirass-8080c17c21fc605674d1d257813e74bb4fb3cfc0.tar.gz | |
cuirass: Clear the build queue when starting.
* src/cuirass/base.scm (clear-build-queue): New procedure.
* bin/cuirass.in (main): Call it.
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/cuirass.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in index ba10274..7e3c5cf 100644 --- a/bin/cuirass.in +++ b/bin/cuirass.in @@ -126,6 +126,7 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" (let ((exit-channel (make-channel)) (pending (begin + (clear-build-queue db) (log-message "retrieving list of pending builds...") (db-get-builds db '((status pending)))))) |