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 /nest | |
| parent | c304392e65a3d6554e97bce00146fe5f2bcb64b1 (diff) | |
When reporting a bug(), call abort() instead of exit(), so that we
can analyse the core.
Diffstat (limited to 'nest')
0 files changed, 0 insertions, 0 deletions