tests/test-profile.out
author Cédric Duval <cedricduval@free.fr>
Sat, 20 Jun 2009 20:57:13 +0200
changeset 8866 87c30fb7e8df
parent 8021 1c2cf2e5dc9b
permissions -rw-r--r--
help: remove per-extension paragraph on how to enable it The central place to find this information is the "extensions" help topic.
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