cuirass: Close each inferior upon completion.

* build-aux/cuirass/evaluate.scm <top level>: Add 'close-inferior' call.
2022-05-20 18:45:24 +02:00 · 2022-05-20 18:45:24 +02:00 · 598f7289db
commit 598f7289db
parent a4994d7393
1 changed files with 1 additions and 0 deletions
--- a/build-aux/cuirass/evaluate.scm
+++ b/build-aux/cuirass/evaluate.scm
@ -96,6 +96,7 @@ (define derivation
                                             (channels . ,channels))))))
                        (file
                         (string-append directory "/jobs-" system ".scm")))
+                    (close-inferior inferior)
                    (call-with-output-file file
                      (lambda (port)
                        (write jobs port)))))))