diff options
Diffstat (limited to 'esds/helpers/platform.py')
| -rw-r--r-- | esds/helpers/platform.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/esds/helpers/platform.py b/esds/helpers/platform.py index e2f780d..341baed 100644 --- a/esds/helpers/platform.py +++ b/esds/helpers/platform.py @@ -51,6 +51,7 @@ class YAMLPlatformFile: "breakpoints_file": None, "breakpoints_callback": None, "debug": False, + "debug_file": "./esds.debug", "interferences": True, "node_count": 0, "implementations": [], @@ -188,6 +189,8 @@ class YAMLPlatformFile: if type(general["debug"]) != bool: self.parsing_error("debug should be on or off") self.default["debug"]=general["debug"] + if "debug_file" in general: + self.default["debug_file"]=general["debug"] if "interferences" in general: if type(general["interferences"]) != bool: self.parsing_error("interferences should be on or off") |