summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1992-02-01 22:09:58 +0000
committerMichael I. Bushnell <mib@gnu.org>1992-02-01 22:09:58 +0000
commit2671baed1165d3c04be2abff2cae99ddefade731 (patch)
treecddb36e2ca29fe4742ad5b8a70f9d61643e0ff77
parent3944a90200c42bfe80eb7f9a16bfaea242ed8dce (diff)
Formerly core.defs.~7~
-rw-r--r--hurd/=core.defs6
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);