From 375a64fed64a79ffe735de3fea40926d00e85042 Mon Sep 17 00:00:00 2001 From: YAMAMOTO Takashi Date: Wed, 1 Jun 2022 15:38:40 +0900 Subject: [PATCH] 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. --- .../esp32/esp32-devkitc/configs/wamr_wasi_debug/defconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/boards/xtensa/esp32/esp32-devkitc/configs/wamr_wasi_debug/defconfig b/boards/xtensa/esp32/esp32-devkitc/configs/wamr_wasi_debug/defconfig index 3cfc2c1d85d..de14bc24497 100644 --- a/boards/xtensa/esp32/esp32-devkitc/configs/wamr_wasi_debug/defconfig +++ b/boards/xtensa/esp32/esp32-devkitc/configs/wamr_wasi_debug/defconfig @@ -65,7 +65,7 @@ CONFIG_INTERPRETERS_WAMR_LOG=y CONFIG_INTERPRETERS_WAMR_MEMORY_PROFILING=y CONFIG_INTERPRETERS_WAMR_MEMORY_TRACING=y CONFIG_INTERPRETERS_WAMR_PERF_PROFILING=y -CONFIG_INTERPRETERS_WAMR_VERSION="main" +CONFIG_INTERPRETERS_WAMR_VERSION="3168ba8dcf20d9d8539d75c637420f5fd8682335" CONFIG_LIBC_FLOATINGPOINT=y CONFIG_LIBM=y CONFIG_MM_REGIONS=3