diff --git a/editors/vim-share/distinfo b/editors/vim-share/distinfo index 6fa997ff8..0f4479613 100644 --- a/editors/vim-share/distinfo +++ b/editors/vim-share/distinfo @@ -9,3 +9,4 @@ SHA1 (patch-auto_configure) = 58a0d41f257d39f61d7705c65737bd9bcb3bf719 SHA1 (patch-configure) = ae5970dec6d557d81da8a8f1da36d05ddc59ca56 SHA1 (patch-feature.h) = 6fc4b6c07d33af4df44e12af8d1148931a848ef4 SHA1 (patch-link.sh) = 24db881cea873330a8a3bf672f6135d0835651fd +SHA1 (patch-zz-minix-a) = af3bc9cf81a9990230518f1e2a59316654ae6563 diff --git a/editors/vim-share/patches/patch-zz-minix-a b/editors/vim-share/patches/patch-zz-minix-a new file mode 100644 index 000000000..693be6597 --- /dev/null +++ b/editors/vim-share/patches/patch-zz-minix-a @@ -0,0 +1,13 @@ +--- src/os_unix.c.orig Wed Nov 30 08:12:38 2016 ++++ src/os_unix.c Wed Nov 30 08:17:39 2016 +@@ -5392,8 +5392,10 @@ + + /* TODO: have an option to only kill the process, not the group? */ + job_pid = job->jv_pid; ++#if !defined(__minix) + if (job_pid == getpgid(job_pid)) + job_pid = -job_pid; ++#endif /* !defined(__minix) */ + + kill(job_pid, sig); +