summaryrefslogtreecommitdiff
path: root/configs
diff options
context:
space:
mode:
Diffstat (limited to 'configs')
-rw-r--r--configs/common/Options.py3
1 files changed, 1 insertions, 2 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py
index e651e96ec..f2bcbef0c 100644
--- a/configs/common/Options.py
+++ b/configs/common/Options.py
@@ -136,8 +136,7 @@ def addCommonOptions(parser):
parser.add_option("--work-cpus-checkpoint-count", action="store", type="int",
help="checkpoint and exit when active cpu count is reached")
parser.add_option("--restore-with-cpu", action="store", type="choice",
- default="atomic", choices = ["atomic", "timing",
- "detailed", "inorder"],
+ default="atomic", choices=CpuConfig.cpu_names(),
help = "cpu type for restoring from a checkpoint")