diff options
Diffstat (limited to 'src/python/m5/simulate.py')
| -rw-r--r-- | src/python/m5/simulate.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/python/m5/simulate.py b/src/python/m5/simulate.py index e4dbd5784..617ac3be2 100644 --- a/src/python/m5/simulate.py +++ b/src/python/m5/simulate.py @@ -46,9 +46,10 @@ def instantiate(root): root.unproxy_all() - ini_file = file(os.path.join(options.outdir, 'config.ini'), 'w') - root.print_ini(ini_file) - ini_file.close() # close config.ini + if options.dump_config: + ini_file = file(os.path.join(options.outdir, options.dump_config), 'w') + root.print_ini(ini_file) + ini_file.close() # Initialize the global statistics internal.stats.initSimStats() |