contrib/perf.py
changeset 40746 82c189c511bd
parent 40744 594e84a2e574
child 40747 380a1f73830f
--- a/contrib/perf.py	Tue Nov 20 10:38:15 2018 +0000
+++ b/contrib/perf.py	Tue Nov 20 10:55:20 2018 +0000
@@ -581,13 +581,19 @@
     timer(d)
     fm.end()
 
-@command(b'perfbookmarks', formatteropts)
+@command(b'perfbookmarks', formatteropts +
+        [
+            (b'', b'clear-revlogs', False, b'refresh changelog and manifest'),
+        ])
 def perfbookmarks(ui, repo, **opts):
     """benchmark parsing bookmarks from disk to memory"""
     opts = _byteskwargs(opts)
     timer, fm = gettimer(ui, opts)
 
+    clearrevlogs = opts[b'clear_revlogs']
     def s():
+        if clearrevlogs:
+            clearchangelog(repo)
         clearfilecache(repo, b'_bookmarks')
     def d():
         repo._bookmarks