tests/test-profile
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