diff options
Diffstat (limited to 'configs/common/Options.py')
| -rw-r--r-- | configs/common/Options.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py index abc26f1b5..d38943644 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -36,7 +36,9 @@ parser.add_option("--l2cache", action="store_true") parser.add_option("--fastmem", action="store_true") # Run duration options -parser.add_option("-m", "--maxtick", type="int") +parser.add_option("-m", "--maxtick", type="int", default=m5.MaxTick, + metavar="T", + help="Stop after T ticks") parser.add_option("--maxtime", type="float") parser.add_option("--maxinsts", type="int") parser.add_option("--prog_intvl", type="int") |