diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-01 01:04:26 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-01 01:04:26 +0000 |
| commit | 9cb9a5549f4f35cc4042c120eabfe6c7e2ea0220 (patch) | |
| tree | 78244d862cecaca4bf863c3eb06913839cbdb43d /libps/Makefile | |
| parent | 86c3ee6437745d4f9e49faa57d9179d01db5d5de (diff) | |
(S_proc_getprocinfo):
Release GLOBAL_LOCK around time consuming bits, and more importantly,
potential calls to P's msgport, which can block.
Fix test when appending to WAITS.
Diffstat (limited to 'libps/Makefile')
0 files changed, 0 insertions, 0 deletions