diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-12 12:23:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-12 12:23:07 +0100 |
commit | 2760f5d0b401670e6ec976ac90ff345234fdfea3 (patch) | |
tree | 5b7d81791caac51d1c4d1014b43d58472cf84768 /platform/javascript | |
parent | 8c045fc9ff8101a3581045ed4baa02565850aebd (diff) | |
parent | 8ef5e3201c2dfbcdd80190691427300dc35428be (diff) |
Merge pull request #44315 from madmiraal/fix-handles-baseexception
Don't handle BaseException in build scripts
Diffstat (limited to 'platform/javascript')
-rw-r--r-- | platform/javascript/detect.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/platform/javascript/detect.py b/platform/javascript/detect.py index 193a5ca4df..d53c774e77 100644 --- a/platform/javascript/detect.py +++ b/platform/javascript/detect.py @@ -50,9 +50,7 @@ def get_flags(): def configure(env): - try: - env["initial_memory"] = int(env["initial_memory"]) - except: + if not isinstance(env["initial_memory"], int): print("Initial memory must be a valid integer") sys.exit(255) |