diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 07:35:04 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1993-10-28 07:35:04 +0000 |
| commit | 9b11a5708f9583f7ada2a2fa3ce191f734df00d4 (patch) | |
| tree | a3c14d4efdf3a3e26e48e1d31555853dfb14df18 | |
| parent | 7d22e738830577d98b3e41ce575cfe33b6dd2382 (diff) | |
Formerly exec.defs.~30~
| -rw-r--r-- | hurd/exec.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/exec.defs b/hurd/exec.defs index 0c8b7b8c..65ca70f1 100644 --- a/hurd/exec.defs +++ b/hurd/exec.defs @@ -60,7 +60,7 @@ routine exec_init ( auth_handle: auth_t; proc_server: process_t); -routine exec_setexecdata ( +simpleroutine exec_setexecdata ( execserver: mach_port_t; ports: portarray_t; ints: intarray_t); |