diff options
Diffstat (limited to 'crawl-ref/source/libgui.cc')
| -rw-r--r-- | crawl-ref/source/libgui.cc | 12 |
1 files changed, 12 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 |