diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-08 12:38:00 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-08 12:38:00 +0000 |
| commit | 818ff1e2b7b8eb8e707608e76ead94e5c6bd442c (patch) | |
| tree | d8f762a3227d8e7be7e1e8e2cf40ccf8e371113c | |
| parent | c304392e65a3d6554e97bce00146fe5f2bcb64b1 (diff) | |
When reporting a bug(), call abort() instead of exit(), so that we
can analyse the core.
| -rw-r--r-- | sysdep/unix/log.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sysdep/unix/log.c b/sysdep/unix/log.c index fa2902e6..4a4532af 100644 --- a/sysdep/unix/log.c +++ b/sysdep/unix/log.c @@ -114,7 +114,7 @@ bug(char *msg, ...) va_start(args, msg); vlog(L_BUG[0], msg, args); - exit(1); + abort(); } void |