diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-10-30 15:41:02 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-10-30 15:41:02 +0000 |
| commit | 11847bee758db8861dae3451c08d5773c565ebbd (patch) | |
| tree | c6a5783f17226a2b4eebd5542a0ed2e0cc37b6e3 | |
| parent | 3d4ca1ce700ccfe7d66ae1234d47979f0b025323 (diff) | |
(io_select): Make sreply port also available if IO_SELECT_REPLY_PORT
is defined.
| -rw-r--r-- | hurd/io.defs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/hurd/io.defs b/hurd/io.defs index c6415f1b..08240606 100644 --- a/hurd/io.defs +++ b/hurd/io.defs @@ -152,7 +152,9 @@ routine io_get_icky_async_id ( /* INTR */ routine io_select ( io_object: io_t; - RPT +#if defined (REPLY_PORTS) || defined (IO_SELECT_REPLY_PORT) + sreplyport reply: sreply_port_t; +#endif ureplyport ureply: mach_port_make_send_t; waittime timeout: natural_t; inout select_type: int; |