cuirass: Close each inferior upon completion.
* build-aux/cuirass/evaluate.scm <top level>: Add 'close-inferior' call.
parent
a4994d7393
commit
598f7289db
|
@ -96,6 +96,7 @@
|
|||
(channels . ,channels))))))
|
||||
(file
|
||||
(string-append directory "/jobs-" system ".scm")))
|
||||
(close-inferior inferior)
|
||||
(call-with-output-file file
|
||||
(lambda (port)
|
||||
(write jobs port)))))))
|
||||
|
|
Reference in New Issue