diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/common/Options.py | 2 | ||||
| -rw-r--r-- | configs/common/Simulation.py | 4 |
2 files changed, 6 insertions, 0 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py index e5d867cfa..0ddd2f06d 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -38,6 +38,8 @@ parser.add_option("--fastmem", action="store_true") # Run duration options parser.add_option("-m", "--maxtick", type="int") parser.add_option("--maxtime", type="float") +parser.add_option("--prog_intvl", type="int") + # Checkpointing options ###Note that performing checkpointing via python script files will override diff --git a/configs/common/Simulation.py b/configs/common/Simulation.py index 0004e4fe6..d7dde241c 100644 --- a/configs/common/Simulation.py +++ b/configs/common/Simulation.py @@ -91,6 +91,10 @@ def run(options, root, testsys, cpu_class): max_checkpoints = options.max_checkpoints switch_cpus = None + if options.prog_intvl: + for i in xrange(np): + testsys.cpu[i].progress_interval = options.prog_intvl + if cpu_class: switch_cpus = [cpu_class(defer_registration=True, cpu_id=(np+i)) for i in xrange(np)] |