[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/02: cuirass: Close each inferior upon completion.
From: |
guix-commits |
Subject: |
02/02: cuirass: Close each inferior upon completion. |
Date: |
Fri, 20 May 2022 12:46:56 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 598f7289db9955584457ffc11c8504f3938a1618
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri May 20 18:45:24 2022 +0200
cuirass: Close each inferior upon completion.
* build-aux/cuirass/evaluate.scm <top level>: Add 'close-inferior' call.
---
build-aux/cuirass/evaluate.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/build-aux/cuirass/evaluate.scm b/build-aux/cuirass/evaluate.scm
index fc0744ad2a..0bd9e2481f 100644
--- a/build-aux/cuirass/evaluate.scm
+++ b/build-aux/cuirass/evaluate.scm
@@ -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)))))))