diff options
Diffstat (limited to 'src/python/m5/main.py')
| -rw-r--r-- | src/python/m5/main.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/python/m5/main.py b/src/python/m5/main.py index 910cb6ce6..ce2979cd2 100644 --- a/src/python/m5/main.py +++ b/src/python/m5/main.py @@ -89,6 +89,8 @@ def parse_options(): help="Dump configuration output file [Default: %default]") option("--json-config", metavar="FILE", default="config.json", help="Create JSON output of the configuration [Default: %default]") + option("--dot-config", metavar="FILE", default="config.dot", + help="Create DOT & pdf outputs of the configuration [Default: %default]") # Debugging options group("Debugging Options") |