diff options
author | Michael I. Bushnell <mib@gnu.org> | 1992-03-08 20:50:17 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1992-03-08 20:50:17 +0000 |
commit | 98bb7167cccef7cfa895eff73e5492eeb82cf54f (patch) | |
tree | fad89425db7b982eb06048908d15deb62a1c4c8e | |
parent | 308f2435e9720f1370996455cb51c3eef1a6cf38 (diff) |
Formerly core.defs.~8~
-rw-r--r-- | hurd/=core.defs | 4 |
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; |