diff options
author | Zoltan Varga <vargaz@gmail.com> | 2020-06-25 10:28:11 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-25 10:28:11 +0300 |
commit | 28ba000f8439d28f2450821f2e343876ed267d1b (patch) | |
tree | 8cc311821644e391c91948b8a324822d4d075e44 /sdks | |
parent | 0d655a5eb623eaf8d8ba20aad1fed1cc53fb1423 (diff) |
[wasm] Disable the checked build for release builds. (#20020)
Diffstat (limited to 'sdks')
-rw-r--r-- | sdks/builds/wasm.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sdks/builds/wasm.mk b/sdks/builds/wasm.mk index 16d6eeb24f1..5a4b168a6ec 100644 --- a/sdks/builds/wasm.mk +++ b/sdks/builds/wasm.mk @@ -54,7 +54,7 @@ WASM_RUNTIME_BASE_CONFIGURE_FLAGS = \ --disable-crash-reporting \ --with-bitcode=yes \ $(if $(ENABLE_CXX),--enable-cxx) \ - --enable-checked-build=private_types + $(if $(RELEASE),,--enable-checked-build=private_types) # $(1) - target define WasmRuntimeTemplate |