contrib/perf.py
changeset 40956 74ee5ff1e81c
parent 40948 a314eafd7c8d
child 40977 21a9cace4bbf
--- a/contrib/perf.py	Fri Dec 14 13:44:46 2018 -0800
+++ b/contrib/perf.py	Thu Dec 06 10:38:30 2018 +0100
@@ -1797,6 +1797,9 @@
         ("90%", resultcount * 90 // 100),
         ("95%", resultcount * 95 // 100),
         ("99%", resultcount * 99 // 100),
+        ("99.9%", resultcount * 999 // 1000),
+        ("99.99%", resultcount * 9999 // 10000),
+        ("99.999%", resultcount * 99999 // 100000),
         ("max", -1),
     ]
     if not ui.quiet: