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