diff options
author | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 06:44:59 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 06:44:59 +0000 |
commit | 7d22e738830577d98b3e41ce575cfe33b6dd2382 (patch) | |
tree | e5ebd2ba2add93aa6b4d8a0928c49c7171390fa0 /hurd/startup.defs | |
parent | 3ab479213b3e927ee489d40234c85bfbf4254bdb (diff) |
Formerly startup.defs.~17~
Diffstat (limited to 'hurd/startup.defs')
-rw-r--r-- | hurd/startup.defs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index c45d06eb..7add9c36 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -67,8 +67,5 @@ routine startup_procinit ( to give to the startup server. */ routine startup_authinit ( server: startup_t; - auth: mach_port_make_send_t); - -routine startup_authinit2 ( - server: startup_t; + auth: mach_port_make_send_t; out proc: mach_port_move_send_t); |