summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1992-03-08 20:50:17 +0000
committerMichael I. Bushnell <mib@gnu.org>1992-03-08 20:50:17 +0000
commit98bb7167cccef7cfa895eff73e5492eeb82cf54f (patch)
treefad89425db7b982eb06048908d15deb62a1c4c8e
parent308f2435e9720f1370996455cb51c3eef1a6cf38 (diff)
Formerly core.defs.~8~
-rw-r--r--hurd/=core.defs4
1 files changed, 3 insertions, 1 deletions
diff --git a/hurd/=core.defs b/hurd/=core.defs
index 8520e50d..06e02e35 100644
--- a/hurd/=core.defs
+++ b/hurd/=core.defs
@@ -25,7 +25,9 @@ subsystem core 32000;
/* Dump a core file for TASK in FILE. SIGNO and SIGCODE indicate the
signal that caused the process to dump core. For the standard core
- server, TARGET specifies the flavor of object file to write. */
+ server, TARGET specifies the flavor of object file to write,
+ and is normally taken from the `GNUTARGET' environment variable in the
+ caller. */
routine core_dump_task (
coreserver: mach_port_t;