diff options
| author | Thomas Bushnell, BSG <thomas@gnu.org> | 1996-10-31 17:30:12 +0000 |
|---|---|---|
| committer | Thomas Bushnell, BSG <thomas@gnu.org> | 1996-10-31 17:30:12 +0000 |
| commit | 1c404962af06d9a827539a9479253cd8cd5628bd (patch) | |
| tree | bcf34d13930905442edd64ecc83b949a9210df3f /hurd/hurdsig.c | |
| parent | 7148baf6010c25ee920e64d0a2bd4f39cdcc9745 (diff) | |
*** empty log message ***
Thu Oct 24 17:32:57 1996 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>
* hurd/hurdsig.c (write_corefile): If we can't create the core
file, still call crash_dump_task with a null FILE arg. Maybe it
won't actually need the file.
Diffstat (limited to 'hurd/hurdsig.c')
0 files changed, 0 insertions, 0 deletions