diff options
| author | Roland McGrath <roland@gnu.org> | 2001-08-04 23:32:33 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 2001-08-04 23:32:33 +0000 |
| commit | deec92cabde95119d76d2957c14a875a0eb711cd (patch) | |
| tree | c89caaa6319874da2991fc60b5c0b44e16c45844 /proc/Makefile | |
| parent | eed1e70bccb699828e2355ee172f5b683d08cbeb (diff) | |
2001-08-04 Roland McGrath <roland@frob.com>
* mgt.c (process_has_exited): Call ports_interrupt_rpcs last thing.
Diffstat (limited to 'proc/Makefile')
0 files changed, 0 insertions, 0 deletions