diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-03-22 02:10:03 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-22 02:10:03 +0000 |
| commit | a69b726647384c5082b92e8af8a5f15c12f5c786 (patch) | |
| tree | e988d9d803e2f5a8da136882999a1f37da9a2559 | |
| parent | 0aeac5f5ce4e45c587a582468a4a0a593162f094 (diff) | |
Formerly exec.defs.~31~
| -rw-r--r-- | hurd/exec.defs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hurd/exec.defs b/hurd/exec.defs index 65ca70f1..9fd37dd7 100644 --- a/hurd/exec.defs +++ b/hurd/exec.defs @@ -1,5 +1,5 @@ /* Interface definitions for the exec servers - Copyright (C) 1991, 1992, 1993 Free Software Foundation + Copyright (C) 1991, 1992, 1993, 1994 Free Software Foundation This file is part of the GNU Hurd. @@ -58,7 +58,7 @@ routine exec_startup ( routine exec_init ( execserver: mach_port_t; auth_handle: auth_t; - proc_server: process_t); + proc_server: mach_port_send_t); simpleroutine exec_setexecdata ( execserver: mach_port_t; |