changeset 8023 | fd9debb3ea1b |
parent 8022 | 4f3fdfaa3874 |
child 8024 | 9a1b86cfd29e |
--- a/tests/test-profile Wed Apr 08 14:19:41 2009 +0200 +++ b/tests/test-profile Thu Apr 02 16:01:30 2009 +0900 @@ -15,4 +15,7 @@ || echo --profile + output to file failed grep CallCount < ../out > /dev/null \ || echo wrong --profile output when saving to a file + + hg --profile --config profiling.format=text st 2>&1 \ + | grep CallCount > /dev/null || echo --profile format=text failed fi