gnu: make-linux-libre-source: Set output port buffering to line mode.
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>
Tue, 1 Sep 2020 20:23:37 +0000 (16:23 -0400)
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>
Sat, 5 Sep 2020 01:45:44 +0000 (21:45 -0400)
commit8b41fdaf3f81271a76e7cb6182253a4cd04f3801
treec66be19c393fa0c7d29f47699424a48d5207005b
parent49bf16b6b1d3834b98f07e3dc0a2ba3b974feb20
gnu: make-linux-libre-source: Set output port buffering to line mode.

* gnu/packages/linux.scm (make-linux-libre-source): Set output port buffering
to line mode via setvbuf.  Remove the ad-hoc calls to force-output.
gnu/packages/linux.scm