From 04a156e0d02971b581ec09fcd4f0e67029d6382d Mon Sep 17 00:00:00 2001 From: YAMAMOTO Takashi Date: Thu, 9 Mar 2023 02:57:40 +0900 Subject: [PATCH] toywasm: regen config-dependent files With the regen script: ``` REF=7c6ff3925d0b0f4d5122df9b1b5761bc2954e014 ./regen.sh ``` --- interpreters/toywasm/include/toywasm_config.h | 8 -------- 1 file changed, 8 deletions(-) diff --git a/interpreters/toywasm/include/toywasm_config.h b/interpreters/toywasm/include/toywasm_config.h index 02c0b6891..d7a2cc3d1 100644 --- a/interpreters/toywasm/include/toywasm_config.h +++ b/interpreters/toywasm/include/toywasm_config.h @@ -23,15 +23,7 @@ #define TOYWASM_USE_SEPARATE_EXECUTE #define TOYWASM_USE_TAILCALL -/* #undef TOYWASM_USE_SHORT_ENUMS */ - -/* #undef TOYWASM_USE_USER_SCHED */ - -/* #undef TOYWASM_ENABLE_TRACING */ - -/* #undef TOYWASM_ENABLE_TRACING_INSN */ #define TOYWASM_USE_JUMP_BINARY_SEARCH -/* #undef TOYWASM_USE_JUMP_CACHE */ #define TOYWASM_JUMP_CACHE2_SIZE 4 #define TOYWASM_USE_LOCALS_CACHE #define TOYWASM_USE_SEPARATE_LOCALS