changeset 18238 | 1f991e625d01 |
parent 18237 | 4132dc9bd5c4 |
child 18239 | a95f1d619bb7 |
18237:4132dc9bd5c4 | 18238:1f991e625d01 |
---|---|
259 for x in xrange(0, len(r), dist): |
259 for x in xrange(0, len(r), dist): |
260 r.revision(r.node(x)) |
260 r.revision(r.node(x)) |
261 |
261 |
262 timer(d) |
262 timer(d) |
263 |
263 |
264 @command('perfrevset') |
264 @command('perfrevset',[], |
265 "REVSET") |
|
265 def perfrevset(ui, repo, expr): |
266 def perfrevset(ui, repo, expr): |
267 """benchmark the execution time of a revset""" |
|
266 def d(): |
268 def d(): |
267 repo.revs(expr) |
269 repo.revs(expr) |
268 timer(d) |
270 timer(d) |