- Committer: Lawrence Mitchell
- Date: 2011-09-13 08:24:41 UTC
- mfrom: (3578.1.3 print-profile)
- Revision ID: lawrence.mitchell@ed.ac.uk-20110913082441-sftei3gzhpd6a9gz
Introduce new command line option to print timing profile
A new option (-p, --profile) can now be specified to print timing
results from profiler tictocs. Update manual accordingly.
A new option (-p, --profile) can now be specified to print timing
results from profiler tictocs. Update manual accordingly.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
changelog |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 1 KB |
|
|
|
compat |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 2 bytes |
|
|
|
control |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 777 bytes |
|
|
|
copyright |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 672 bytes |
|
|
|
dirs |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 17 bytes |
|
|
|
docs |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 23 bytes |
|
|
|
README.Debian |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 184 bytes |
|
|
rules |
1 | 14 years ago | hhiester | deleting initialisation as none of tools are used | 2.6 KB |
|
|