/* * (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 #include extern void (*_clean)(void); void abort(void) { if (_clean) _clean(); /* flush all output files */ raise(SIGABRT); }