HCoop
/
jackhill
/
guix
/
guix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a4994d7
)
cuirass: Close each inferior upon completion.
author
Ludovic Courtès
<ludo@gnu.org>
Fri, 20 May 2022 16:45:24 +0000
(18:45 +0200)
committer
Ludovic Courtès
<ludo@gnu.org>
Fri, 20 May 2022 16:46:07 +0000
(18:46 +0200)
* build-aux/cuirass/evaluate.scm <top level>: Add 'close-inferior' call.
build-aux/cuirass/evaluate.scm
patch
|
blob
|
blame
|
history
diff --git
a/build-aux/cuirass/evaluate.scm
b/build-aux/cuirass/evaluate.scm
index
fc0744a
..
0bd9e24
100644
(file)
--- 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)))))))