diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-03-01 16:57:54 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-01 17:21:44 +0100 |
commit | ad577114dde4c86455262a35ad4b3838eb4a1453 (patch) | |
tree | fef78e32a2db0aa3e1cbb7dd411220e6d028c222 /bin/evaluate.in | |
parent | f083282fd3bf813fda0b54ed33278d2d5325dfa1 (diff) | |
download | cuirass-ad577114dde4c86455262a35ad4b3838eb4a1453.tar cuirass-ad577114dde4c86455262a35ad4b3838eb4a1453.tar.gz |
base: 'spawn-builds' correctly keeps track of remaining builds.
Fixes <https://bugs.gnu.org/30645>.
Reported by Andreas Enge <andreas@enge.fr>.
* src/cuirass/base.scm (spawn-builds): Fix TOTAL vs. COUNT mismatches.
Diffstat (limited to 'bin/evaluate.in')
0 files changed, 0 insertions, 0 deletions