author | Martin Geisler <mg@daimi.au.dk> |
Mon, 16 Feb 2009 00:09:47 +0100 | |
changeset 7775 | 5280c39778b6 |
parent 5099 | 105d4cf7ec24 |
child 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 |
105d4cf7ec24
Test --time, --profile and --lsprof
Patrick Mezard <pmezard@gmail.com>
parents:
diff
changeset
|
3 |
% test --lsprof |