| # | |
| # Microkernel filenames lists for wasmrelaxedsimd32. | |
| # | |
| # Auto-generated file. Do not edit! | |
| # Generator: tools/update-microkernels.py | |
| # | |
| PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS = [ | |
| ] | |
| NON_PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS = [ | |
| ] | |
| WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS = PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS + NON_PROD_WASMRELAXEDSIMD32_ASM_MICROKERNEL_SRCS |