summary refs log tree commit diff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2023-01-26 10:18:31 +0100
committerLudovic Courtès <ludo@gnu.org>2023-01-26 11:11:18 +0100
commitfed3953d70b235976f5b21346703a4ca1747c62b (patch)
tree1e3f91b038b444e56d180073ed03c10f45981792 /gnu/packages/lean.scm
parent0d22ea82828cedbfe20e4edfaa997688ca6f3d7b (diff)
downloadguix-fed3953d70b235976f5b21346703a4ca1747c62b.tar.gz
inferior: Use 'spawn' on Guile 3.0.9+.
* guix/inferior.scm (open-bidirectional-pipe): When 'spawn' is defined,
use it instead of 'primitive-fork'.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions