diff --git a/ui/drivers/ui_cocoa.m b/ui/drivers/ui_cocoa.m index 3fe8313bd7..fae2be94f8 100644 --- a/ui/drivers/ui_cocoa.m +++ b/ui/drivers/ui_cocoa.m @@ -20,6 +20,10 @@ #include #include +#include +#include +#include + #include #include #include @@ -1079,6 +1083,10 @@ static void open_document_handler( int main(int argc, char *argv[]) { +#ifndef NDEBUG + task_set_exception_ports(mach_task_self(), EXC_MASK_BAD_ACCESS, MACH_PORT_NULL, EXCEPTION_DEFAULT, THREAD_STATE_NONE); +#endif + if (argc == 2) { if (argv[1])