Merge branch 'main' of https://github.com/wasm3/wasm3 into main

3 years ago · 7a18bef3e2
parent 65bcdcb7f6 9f8766b901
commit 7a18bef3e2
1 changed files with 1 additions and 1 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -25,7 +25,7 @@ else()
 endif()
 set_property(CACHE BUILD_WASI PROPERTY STRINGS none simple uvwasi metawasi)

-set(BUILD_NATIVE "Build with machine-specific optimisations" ON)
+option(BUILD_NATIVE "Build with machine-specific optimisations" ON)

 set(OUT_FILE "wasm3")