diff options
author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2021-01-28 19:23:49 +0000 |
---|---|---|
committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2021-01-28 19:23:49 +0000 |
commit | fad0cec272e4ad047aa0870ec6fd674054a6f6ca (patch) | |
tree | 30080b8b9b0e60c0a808f4e8b7563ed744b196b6 | |
parent | e50422d01cfc3b97ee259079d7fe88528f9dccbd (diff) |
Don't handle BaseException in JavaScript build script
-rw-r--r-- | platform/javascript/detect.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/platform/javascript/detect.py b/platform/javascript/detect.py index 76683da947..653d18f791 100644 --- a/platform/javascript/detect.py +++ b/platform/javascript/detect.py @@ -57,12 +57,11 @@ def get_flags(): def configure(env): - if not isinstance(env["initial_memory"], int): - try: - env["initial_memory"] = int(env["initial_memory"]) - except: - print("Initial memory must be a valid integer") - sys.exit(255) + try: + env["initial_memory"] = int(env["initial_memory"]) + except Exception: + print("Initial memory must be a valid integer") + sys.exit(255) ## Build type if env["target"] == "release": |