diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/common/Options.py | 3 |
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") |