diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-01-23 23:45:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-23 23:45:24 +0100 |
| commit | d544f3e6baa42ec890baec268f207902c5cc0faf (patch) | |
| tree | 5a7a59de45bb138b9a63ba36e7e93d83ec51435a /README | |
| parent | c1edfe8895060f88855236c6faee9e085e72ca6f (diff) | |
| download | cuirass-d544f3e6baa42ec890baec268f207902c5cc0faf.tar cuirass-d544f3e6baa42ec890baec268f207902c5cc0faf.tar.gz | |
cuirass: Fix scope mismatch.
Previously STORE would be closed on the first context switch, before
'restart-builds' has completed, leading to an error (writing to a closed
port).
* src/cuirass/base.scm (restart-builds): Remove 'store' parameter. Wrap
body in 'with-store'.
* bin/cuirass.in (main): Adjust accordingly.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions