fatal_exit() isn't so tied to GUI

2023-09-07 14:55:41 +02:00 · 2023-09-07 14:55:41 +02:00 · 1226330375
commit 1226330375
parent 1f5924b73a
5 changed files with 3 additions and 3 deletions
--- a/2
+++ b/2
@ -39,7 +39,7 @@ DOTOS = src/main.o \
 	src/options.o \
 	src/romio.o \
 	src/timer.o \
-	src/x48_errors.o \
+	src/error_handling.o \
 	src/x48_resources.o \
 	src/x48.o

--- a/src/error_handling.c
+++ b/src/error_handling.c
--- a/src/error_handling.h
+++ b/src/error_handling.h
--- a/src/x48.c
+++ b/src/x48.c
@ -16,7 +16,7 @@
 #include "hp48.h"
 #include "romio.h"
 #include "x48.h"
-#include "x48_errors.h"
+#include "error_handling.h"
 #include "x48_resources.h"

 disp_t disp;
--- a/src/x48_resources.c
+++ b/src/x48_resources.c
@ -5,7 +5,7 @@
 #include <ctype.h>

 #include "options.h"
-#include "x48_errors.h"
+#include "error_handling.h"
 #include "x48_resources.h"

 #if defined( GUI_IS_X11 )