2009-02-16 01:14:51 +01:00
|
|
|
Index: src/global.h
|
|
|
|
===================================================================
|
|
|
|
--- src/global.h.orig
|
2007-01-16 00:08:09 +01:00
|
|
|
+++ src/global.h
|
2012-09-04 09:52:30 +02:00
|
|
|
@@ -387,7 +387,7 @@ void mousecleanup(void);
|
2007-01-16 00:08:09 +01:00
|
|
|
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);
|