diff options
Diffstat (limited to 'unix')
-rw-r--r-- | unix/main.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/unix/main.c b/unix/main.c index 11df4cadf2..8065663011 100644 --- a/unix/main.c +++ b/unix/main.c @@ -293,6 +293,7 @@ void pre_process_options(int argc, char **argv) { } int main(int argc, char **argv) { + nlr_jump(0); volatile int stack_dummy; stack_top = (void*)&stack_dummy; @@ -447,3 +448,8 @@ int DEBUG_printf(const char *fmt, ...) { va_end(ap); return ret; } + +void nlr_jump_fail(void *val) { + printf("FATAL: uncaught NLR %p\n", val); + exit(1); +} |