diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/common/Options.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py index 1da831e1f..2d4aedcae 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -62,6 +62,7 @@ parser.add_option("-s", "--standard-switch", action="store_true", parser.add_option("-w", "--warmup", action="store", type="int", help="if -s, then this is the warmup period. else, this is ignored", default=5000000000) +parser.add_option("--profile", help="CPU profile interval") # Fastforwarding and simpoint related materials parser.add_option("-W", "--warmup-insts", action="store", type="int", |