diff options
| author | Miles Bader <miles@gnu.org> | 1996-01-19 00:35:29 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-01-19 00:35:29 +0000 |
| commit | 52e3e9b45d780b4f92363e502e6413da5d4f7c4a (patch) | |
| tree | eec7dcb9c0ad60884a35f274f2c1bf9702b5fc79 /hurd/io.defs | |
| parent | 549149a2df67ab632a5f358f7dea4bba0537c84f (diff) | |
(io_select): Fix ifdefs around the reply port decls to work properly when the
server side ports are desired.
Diffstat (limited to 'hurd/io.defs')
| -rw-r--r-- | hurd/io.defs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/hurd/io.defs b/hurd/io.defs index 08240606..6f51c2d6 100644 --- a/hurd/io.defs +++ b/hurd/io.defs @@ -153,9 +153,10 @@ routine io_get_icky_async_id ( routine io_select ( io_object: io_t; #if defined (REPLY_PORTS) || defined (IO_SELECT_REPLY_PORT) - sreplyport reply: sreply_port_t; + replyport reply: sreply_port_t; +#else + ureplyport reply: mach_port_make_send_t; #endif - ureplyport ureply: mach_port_make_send_t; waittime timeout: natural_t; inout select_type: int; inout id_tag: int); /* Returned as passed. */ |