1989-05-16 13:13:53 +00:00
|
|
|
/*
|
|
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
|
|
|
*/
|
|
|
|
/* $Header$ */
|
|
|
|
|
|
|
|
#include <signal.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
1990-01-22 13:00:13 +00:00
|
|
|
extern void (*_clean)(void);
|
|
|
|
|
1989-05-16 13:13:53 +00:00
|
|
|
void
|
|
|
|
abort(void)
|
|
|
|
{
|
1990-01-22 13:00:13 +00:00
|
|
|
if (_clean) _clean(); /* flush all output files */
|
1989-05-16 13:13:53 +00:00
|
|
|
raise(SIGABRT);
|
|
|
|
}
|
|
|
|
|