2020-04-17 11:24:05 +01:00
|
|
|
#include <stdlib.h>
|
2022-05-26 11:48:28 +01:00
|
|
|
#include <unistd.h>
|
2020-04-17 11:24:05 +01:00
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
|
|
_Noreturn void abort(void)
|
|
|
|
|
{
|
2022-05-26 11:48:28 +01:00
|
|
|
fprintf(stderr, " ** [%d] abort\n", getpid());
|
2020-04-17 11:24:05 +01:00
|
|
|
exit(-1);
|
|
|
|
|
}
|