contrib/perf.py
changeset 18238 1f991e625d01
parent 18237 4132dc9bd5c4
child 18239 a95f1d619bb7
--- a/contrib/perf.py	Fri Jan 04 19:20:51 2013 +0100
+++ b/contrib/perf.py	Fri Jan 04 19:22:15 2013 +0100
@@ -261,8 +261,10 @@
 
     timer(d)
 
-@command('perfrevset')
+@command('perfrevset',[],
+         "REVSET")
 def perfrevset(ui, repo, expr):
+    """benchmark the execution time of a revset"""
     def d():
         repo.revs(expr)
     timer(d)