diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:53:17 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:53:17 +0000 |
| commit | 332523a7d9aafcdec76238fb61d8f99d3a362d6e (patch) | |
| tree | d35a349b6aa64f0e4980bfb7ce10f4e21a5f1abf | |
| parent | 36c3f2e460e5c2cb13f7128efc5920d737348bf2 (diff) | |
fixup.
| -rw-r--r-- | hurd/startup_notify.defs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hurd/startup_notify.defs b/hurd/startup_notify.defs index b7924817..7086f448 100644 --- a/hurd/startup_notify.defs +++ b/hurd/startup_notify.defs @@ -31,6 +31,7 @@ STARTUP_NOTIFY_IMPORTS the notification previously requested by startup_request_notification. */ routine startup_dosync ( - notify_port: mach_port_t); + notify_port: mach_port_t; + waittime timeout: natural_t); |