2017-04-17 16:07:34 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
|
|
|
|
|
#include "common.h"
|
|
|
|
|
|
|
|
|
|
void __attribute__((noreturn)) __fatal_error(const char *msg) {
|
|
|
|
|
printf("FATAL ERROR:\n");
|
2017-04-17 16:56:08 +00:00
|
|
|
printf("%s\n", msg);
|
2017-04-17 16:07:34 +00:00
|
|
|
exit(1);
|
|
|
|
|
}
|
