diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-06-13 23:20:25 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-13 23:22:19 +0200 |
commit | 8e469b67f95cfe5b95405b503b8ee315fdf8ce66 (patch) | |
tree | 851fef8a3231b0dec9cbb40a8e8e7b7876764cfb /gnu/local.mk | |
parent | 4e863eb35fd8337eab48928e7733b7f6b7b2c242 (diff) | |
download | guix-8e469b67f95cfe5b95405b503b8ee315fdf8ce66.tar.gz |
gnu: guile-ssh: Close RREPL channel ports before they are finalized.
Partly fixes <https://bugs.gnu.org/26976>. * gnu/packages/patches/guile-ssh-channel-finalization.patch: New file. * gnu/packages/ssh.scm (guile-ssh)[source](patches): Use it. * gnu/local.mk (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/local.mk')
-rw-r--r-- | gnu/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index f761ad21e4..608ded7579 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -656,8 +656,9 @@ dist_patch_DATA = \ %D%/packages/patches/guile-present-coding.patch \ %D%/packages/patches/guile-relocatable.patch \ %D%/packages/patches/guile-rsvg-pkgconfig.patch \ - %D%/packages/patches/guile-ssh-rexec-bug.patch \ + gnu/packages/patches/guile-ssh-channel-finalization.patch \ %D%/packages/patches/guile-ssh-double-free.patch \ + %D%/packages/patches/guile-ssh-rexec-bug.patch \ %D%/packages/patches/gtk2-respect-GUIX_GTK2_PATH.patch \ %D%/packages/patches/gtk2-respect-GUIX_GTK2_IM_MODULE_FILE.patch \ %D%/packages/patches/gtk2-theme-paths.patch \ |