diff options
author | William Hubbs <w.d.hubbs@gmail.com> | 2017-10-24 10:37:01 -0500 |
---|---|---|
committer | William Hubbs <w.d.hubbs@gmail.com> | 2017-10-24 10:37:37 -0500 |
commit | f5acc66db7d1a0bfad6a40eefc0240b80f52df94 (patch) | |
tree | 58f7cdcb782d1b0368c6f1014fb7e04a37f453bd /sh/Makefile | |
parent | fdce4769f2e0f4175163ffa181c7b3b2192f7b22 (diff) |
rc_find_pids: ignore pids that are not in our pid namespace
X-Gentoo-Bug: 634634
X-Gentoo-Bug-URL: https://bugs.gentoo.org/show_bug.cgi?id=634634
Diffstat (limited to 'sh/Makefile')
0 files changed, 0 insertions, 0 deletions