author | Daniel Dumitriu <daniel.dumitriu@gmail.com> |
Wed, 25 Aug 2010 12:20:10 +0200 | |
changeset 12242 | 403bb6067736 |
parent 8021 | 1c2cf2e5dc9b |
permissions | -rw-r--r-- |
5099
105d4cf7ec24
Test --time, --profile and --lsprof
Patrick Mezard <pmezard@gmail.com>
parents:
diff
changeset
|
1 |
% test --time |
105d4cf7ec24
Test --time, --profile and --lsprof
Patrick Mezard <pmezard@gmail.com>
parents:
diff
changeset
|
2 |
% test --profile |