From abb8d8e8ca75b8aaa614f768bebed41ad88ff39f Mon Sep 17 00:00:00 2001 From: Fabio Alessandrelli Date: Mon, 25 Jan 2021 16:24:26 +0100 Subject: [HTML5] Fix "initial_memory" build option parsing --- platform/javascript/detect.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/platform/javascript/detect.py b/platform/javascript/detect.py index 0d57f8aad1..d8e3c61798 100644 --- a/platform/javascript/detect.py +++ b/platform/javascript/detect.py @@ -51,8 +51,11 @@ def get_flags(): def configure(env): if not isinstance(env["initial_memory"], int): - print("Initial memory must be a valid integer") - sys.exit(255) + try: + env["initial_memory"] = int(env["initial_memory"]) + except: + print("Initial memory must be a valid integer") + sys.exit(255) ## Build type -- cgit v1.2.3