tests/test-profile.out
author Alexis S. L. Carvalho <alexis@cecm.usp.br>
Mon, 24 Sep 2007 19:00:11 -0300
changeset 5329 7e6138cb8d38
parent 5157 105d4cf7ec24
permissions -rw-r--r--
copy: if destination ends with "/", make sure it's a directory Fixes issue724.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
5157
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