wamr: add an option for exception-handling
This commit is contained in:
parent
9715b813d3
commit
a0d98f1951
@ -182,6 +182,10 @@ config INTERPRETERS_WAMR_BULK_MEMORY
|
|||||||
bool "Enable bluk memory"
|
bool "Enable bluk memory"
|
||||||
default n
|
default n
|
||||||
|
|
||||||
|
config INTERPRETERS_WAMR_ENABLE_EXCE_HANDLING
|
||||||
|
bool "Enable exception-handling"
|
||||||
|
default n
|
||||||
|
|
||||||
config INTERPRETERS_WAMR_PERF_PROFILING
|
config INTERPRETERS_WAMR_PERF_PROFILING
|
||||||
bool "Enable performance profiling"
|
bool "Enable performance profiling"
|
||||||
default n
|
default n
|
||||||
|
Loading…
x
Reference in New Issue
Block a user