summaryrefslogtreecommitdiff
path: root/configs/common
diff options
context:
space:
mode:
Diffstat (limited to 'configs/common')
-rw-r--r--configs/common/Options.py2
-rw-r--r--configs/common/Simulation.py4
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)]