diff options
Diffstat (limited to 'crawl-ref')
-rw-r--r-- | crawl-ref/source/libgui.cc | 12 | ||||
-rw-r--r-- | crawl-ref/source/libgui.h | 6 |
2 files changed, 18 insertions, 0 deletions
diff --git a/crawl-ref/source/libgui.cc b/crawl-ref/source/libgui.cc index 751392004e..89059f72fe 100644 --- a/crawl-ref/source/libgui.cc +++ b/crawl-ref/source/libgui.cc @@ -417,4 +417,16 @@ int stricmp(const char *str1, const char *str2) return (strcmp(str1, str2)); } +void init_crash_handler() +{ +} + +void dump_crash_info(FILE* file) +{ +} + +void write_stack_trace(FILE* file, int ignore_count) +{ +} + #endif // #ifdef UNIX diff --git a/crawl-ref/source/libgui.h b/crawl-ref/source/libgui.h index 951024610a..1ca73e103c 100644 --- a/crawl-ref/source/libgui.h +++ b/crawl-ref/source/libgui.h @@ -12,6 +12,8 @@ #define LIBGUI_H #ifdef USE_TILE +#include <stdio.h> + #include "defines.h" typedef unsigned int screen_buffer_t; @@ -71,5 +73,9 @@ int itoa(int value, char *strptr, int radix); int stricmp(const char *str1, const char *str2); #endif +void init_crash_handler(); +void dump_crash_info(FILE* file); +void write_stack_trace(FILE* file, int ignore_count); + #endif // USE_TILE #endif // LIBGUI_H |