You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-05 12:10:55 +00:00
Don't handle BaseException in JavaScript build script
This commit is contained in:
@@ -57,12 +57,11 @@ def get_flags():
|
|||||||
|
|
||||||
|
|
||||||
def configure(env):
|
def configure(env):
|
||||||
if not isinstance(env["initial_memory"], int):
|
try:
|
||||||
try:
|
env["initial_memory"] = int(env["initial_memory"])
|
||||||
env["initial_memory"] = int(env["initial_memory"])
|
except Exception:
|
||||||
except:
|
print("Initial memory must be a valid integer")
|
||||||
print("Initial memory must be a valid integer")
|
sys.exit(255)
|
||||||
sys.exit(255)
|
|
||||||
|
|
||||||
## Build type
|
## Build type
|
||||||
if env["target"] == "release":
|
if env["target"] == "release":
|
||||||
|
|||||||
Reference in New Issue
Block a user