Mercury Bugs - mercury |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000206 | mercury | Bug | public | 2011-07-22 09:29 | 2011-07-23 18:03 |
|
| Reporter | aross | |
|---|
| Assigned To | juliensf | |
|---|
| Priority | normal | Severity | text | Reproducibility | N/A |
|---|
| Status | resolved | Resolution | fixed | |
|---|
| Platform | | OS | | OS Version | |
|---|
| Product Version | | |
|---|
| Target Version | | Fixed in Version | | |
|---|
|
| Summary | 0000206: User's guide has incorrect short option name for mtc --output-file |
|---|
| Description | The "Generating trace counts" section of the Mercury User's Guide states:
‘mtc’ accepts an ‘-f’ or ‘--output-file’ option
but the short option is actually '-o'.
The mtc help/usage message (and hence the man page) lists the correct option name.
|
|---|
| Additional Information | This problem is present in both 11.01 and rotd-2011-07-17 |
|---|
| Tags | No tags attached. |
|---|
| Relationships | |
| Attached Files | |
|---|