14 lines
455 B
Diff
14 lines
455 B
Diff
Index: src/global.h
|
|
===================================================================
|
|
--- src/global.h.orig
|
|
+++ src/global.h
|
|
@@ -387,7 +387,7 @@ void mousecleanup(void);
|
|
void mousemenu(void);
|
|
void mouseinit(void);
|
|
void mousereinit(void);
|
|
-void myexit(int sig);
|
|
+void myexit(int sig) __attribute__ ((noreturn));
|
|
void myperror(char *text);
|
|
void ogsnames(char *file, char **subsystem, char **book);
|
|
void progress(char *what, long current, long max);
|