esp32-devkitc:wamr_wasi_debug: pin WAMR version
The "main" branch occasionally got broken. It isn't nice to break our (nuttx's) CI every time it happens.
This commit is contained in:
parent
85af65e72e
commit
375a64fed6
|
@ -65,7 +65,7 @@ CONFIG_INTERPRETERS_WAMR_LOG=y
|
||||||
CONFIG_INTERPRETERS_WAMR_MEMORY_PROFILING=y
|
CONFIG_INTERPRETERS_WAMR_MEMORY_PROFILING=y
|
||||||
CONFIG_INTERPRETERS_WAMR_MEMORY_TRACING=y
|
CONFIG_INTERPRETERS_WAMR_MEMORY_TRACING=y
|
||||||
CONFIG_INTERPRETERS_WAMR_PERF_PROFILING=y
|
CONFIG_INTERPRETERS_WAMR_PERF_PROFILING=y
|
||||||
CONFIG_INTERPRETERS_WAMR_VERSION="main"
|
CONFIG_INTERPRETERS_WAMR_VERSION="3168ba8dcf20d9d8539d75c637420f5fd8682335"
|
||||||
CONFIG_LIBC_FLOATINGPOINT=y
|
CONFIG_LIBC_FLOATINGPOINT=y
|
||||||
CONFIG_LIBM=y
|
CONFIG_LIBM=y
|
||||||
CONFIG_MM_REGIONS=3
|
CONFIG_MM_REGIONS=3
|
||||||
|
|
Loading…
Reference in New Issue