author | Martin Geisler <mg@daimi.au.dk> |
Tue, 09 Sep 2008 21:32:39 +0200 | |
changeset 7013 | f56e788fa292 |
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 |