diff options
Diffstat (limited to 'atari')
-rwxr-xr-x | atari/misc.h | 9 | ||||
-rwxr-xr-x | atari/plot/plot.c | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/atari/misc.h b/atari/misc.h index 8d1719ce8..418f28308 100755 --- a/atari/misc.h +++ b/atari/misc.h @@ -66,4 +66,13 @@ const char * file_select(const char * title, const char * name); */ long nkc_to_input_key(short nkc, long * ucs4_out); +/** + * Cause an abnormal program termination. + * + * \note This never returns and is intended to terminate without any cleanup. + * + * \param error The message to display to the user. + */ +void die(const char * const error) __attribute__ ((noreturn)); + #endif diff --git a/atari/plot/plot.c b/atari/plot/plot.c index a0b99e5ae..1b949d22a 100755 --- a/atari/plot/plot.c +++ b/atari/plot/plot.c @@ -32,6 +32,7 @@ #include "desktop/plotters.h" #include "desktop/mouse.h" +#include "atari/misc.h" #include "atari/bitmap.h" #include "utils/nsoption.h" #include "atari/plot/plot.h" |