diff options
author | Ali Saidi <Ali.Saidi@ARM.com> | 2012-01-09 18:08:20 -0600 |
---|---|---|
committer | Ali Saidi <Ali.Saidi@ARM.com> | 2012-01-09 18:08:20 -0600 |
commit | 68d387ec802083322196f609c755b993771e9d19 (patch) | |
tree | efad84d35ea288a87c101a71a705962a0334f909 /src/python/m5/main.py | |
parent | c94e5256d9d6a076118336a61b951bcf9b5482a1 (diff) | |
download | gem5-68d387ec802083322196f609c755b993771e9d19.tar.xz |
config: support outputing a pickle of the configuration tree
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 58de62cc3..17e0c2f91 100644 --- a/src/python/m5/main.py +++ b/src/python/m5/main.py @@ -87,6 +87,8 @@ def parse_options(): group("Configuration Options") option("--dump-config", metavar="FILE", default="config.ini", help="Dump configuration output file [Default: %default]") + option("--json-config", metavar="FILE", default="config.json", + help="Create JSON output of the configuration [Default: %default]") # Debugging options group("Debugging Options") |