diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1992-02-01 22:09:58 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1992-02-01 22:09:58 +0000 |
| commit | 2671baed1165d3c04be2abff2cae99ddefade731 (patch) | |
| tree | cddb36e2ca29fe4742ad5b8a70f9d61643e0ff77 | |
| parent | 3944a90200c42bfe80eb7f9a16bfaea242ed8dce (diff) | |
Formerly core.defs.~7~
| -rw-r--r-- | hurd/=core.defs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/hurd/=core.defs b/hurd/=core.defs index 3789acae..8520e50d 100644 --- a/hurd/=core.defs +++ b/hurd/=core.defs @@ -24,10 +24,12 @@ subsystem core 32000; #include <hurd/hurd_types.defs> /* Dump a core file for TASK in FILE. SIGNO and SIGCODE indicate the - signal that caused the process to dump core. */ + signal that caused the process to dump core. For the standard core + server, TARGET specifies the flavor of object file to write. */ routine core_dump_task ( coreserver: mach_port_t; task: task_t; file: file_t; - signo: int; sigcode: int); + signo: int; sigcode: int; + target: string_t); |