tests/test-profile.out
author Patrick Mezard <pmezard@gmail.com>
Sun, 23 Sep 2007 15:29:58 +0200
changeset 5319 46455285c6b5
parent 5157 105d4cf7ec24
permissions -rw-r--r--
Merge with crew-stable
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