From 09eef4e4f97b9fea742893841d80f2fed2539504 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E2=80=9CPaulo?= Date: Fri, 15 Dec 2023 01:31:31 -0300 Subject: [PATCH] fix wasm flags --- modules/wasm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/wasm.py b/modules/wasm.py index b0f7e01..a2f3763 100644 --- a/modules/wasm.py +++ b/modules/wasm.py @@ -696,7 +696,7 @@ def run_task_generate(): command = [ "em++", - "{0}".format("-g" if config == "debug" else "-O3"), + "{0}".format("-g" if config == "debug" else "-O2"), "-o", output_file, "-s",