tests/test-profile.out
author Martin Geisler <mg@lazybytes.net>
Thu, 29 Apr 2010 23:47:07 +0200
changeset 11037 c1c534d62b05
parent 8021 1c2cf2e5dc9b
permissions -rw-r--r--
Merge with main
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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