configs: cleanup redundant/unused options
Review Request #708 - Created May 19, 2011 and submitted
| Information | |
|---|---|
| Korey Sewell | |
| gem5 | |
| default | |
| Reviewers | |
| Default | |
| ali, gblack, nate, stever | |
configs: cleanup redundant/unused options maxinsts & max_inst redundant prog_intvl and profile seem redundant, but profile looks to be unused add -p option for progress intervals
If you could just make this one change that would be great.
-
configs/common/Options.py (Diff revision 1) -
could you name this prog-interval or something similar. _ is non standard for us.