diff options
Diffstat (limited to 'tools/javascript.py')
| -rw-r--r-- | tools/javascript.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/javascript.py b/tools/javascript.py index 42c601d..1d8009e 100644 --- a/tools/javascript.py +++ b/tools/javascript.py @@ -8,7 +8,7 @@ def exists(env): def generate(env): if env["arch"] not in ("wasm32"): print("Only wasm32 supported on web. Exiting.") - Exit() + env.Exit(1) if "EM_CONFIG" in os.environ: env["ENV"] = os.environ |