diff options
| author | Miles Bader <miles@gnu.org> | 1996-01-19 00:34:09 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-01-19 00:34:09 +0000 |
| commit | 549149a2df67ab632a5f358f7dea4bba0537c84f (patch) | |
| tree | 0ca1132218daa5d90b54518642621f88d7306ae3 /libdirmgt/Makefile | |
| parent | eb5616108ddc7fed7da94c9caf935c06b1106f2f (diff) | |
(ports_no_senders):
Interrupt RPCs on PI too.
Only do the ports_interrupt_notified_rpcs() if we're actually losing a ref.
Diffstat (limited to 'libdirmgt/Makefile')
0 files changed, 0 insertions, 0 deletions