diff options
author | Alex Crichton <alex@alexcrichton.com> | 2020-02-06 12:26:09 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-06 10:26:09 -0800 |
commit | ec58a65f336a52c347b40a7767f175e82c63a922 (patch) | |
tree | 39b03831a12f9bc4bdde2332426dedc2042d2a1c /projects/wasmtime | |
parent | 52e640af345a6484c37091cbadc6f1aff677d423 (diff) | |
download | oss-fuzz-ec58a65f336a52c347b40a7767f175e82c63a922.tar.gz |
[wasmtime] Fix default asan options (#3350)
This fixes typo mistakes from #3335 where we actually want the opposite
of the current defaults, not the current set of defaults!
Diffstat (limited to 'projects/wasmtime')
-rw-r--r-- | projects/wasmtime/default.options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/projects/wasmtime/default.options b/projects/wasmtime/default.options index 83a8f238f..1a5e42a6f 100644 --- a/projects/wasmtime/default.options +++ b/projects/wasmtime/default.options @@ -1,3 +1,3 @@ [asan] -allow_user_segv_handler=0 -handle_sigill=1 +allow_user_segv_handler=1 +handle_sigill=0 |