diff --git a/projects/wasmtime/default.options b/projects/wasmtime/default.options index 06422d9a3..30a192385 100644 --- a/projects/wasmtime/default.options +++ b/projects/wasmtime/default.options @@ -2,3 +2,4 @@ allow_user_segv_handler=1 handle_sigill=0 handle_segv=1 +handle_sigfpe=1