diff options
| author | 宋文武 <iyzsong@member.fsf.org> | 2017-10-12 22:27:04 +0800 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2017-10-12 22:31:22 +0800 |
| commit | abaee53c808fe6df02de2f403dd8904e42d5fede (patch) | |
| tree | 34829ae1a8bfeda76eceaf57c47175ebaf382387 /doc/local.mk | |
| parent | c6643f2d52e3da7e800a742db03e62161e9f82e5 (diff) | |
substitute: Close the progress port after substitute finished.
Fixes <https://bugs.gnu.org/28756>.
* guix/scripts/substitute.scm (progress-substitution):
Call '(close-port progress)'.
Diffstat (limited to 'doc/local.mk')
0 files changed, 0 insertions, 0 deletions