Merge pull request #44315 from madmiraal/fix-handles-baseexception

Don't handle BaseException in build scripts
This commit is contained in:
Rémi Verschelde 2020-12-12 12:23:07 +01:00 committed by GitHub
commit 2760f5d0b4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 8 additions and 10 deletions

View file

@ -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)