# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@fb.com>
# Date 1434045302 25200
# Node ID 1311aee85dcfb9bf620e86c692c7243cdccf67d0
# Parent  371d8afc91446975c1e9cbff716791c3d94f37c6
revsetbenchmarks: ensure all indexes have the same width

This avoids an alignment glitch.

diff -r 371d8afc9144 -r 1311aee85dcf contrib/revsetbenchmarks.py
--- a/contrib/revsetbenchmarks.py	Tue Jun 09 16:57:18 2015 -0700
+++ b/contrib/revsetbenchmarks.py	Thu Jun 11 10:55:02 2015 -0700
@@ -92,9 +92,22 @@
     check_call(['hg', 'log', '--rev', str(rev), '--template',
                '{desc|firstline}\n'])
 
+def idxwidth(nbidx):
+    """return the max width of number used for index
+
+    Yes, this is basically a log10."""
+    nbidx -= 1 # starts at 0
+    idxwidth = 0
+    while nbidx:
+        idxwidth += 1
+        nbidx //= 10
+    if not idxwidth:
+        idxwidth = 1
+    return idxwidth
+
 def printresult(idx, data, maxidx):
     """print a line of result to stdout"""
-    mask = '%i) %s'
+    mask = '%%0%ii) %%s' % idxwidth(maxidx)
 
     out = ("wall %f comb %f user %f sys %f (best of %d)"
            % (data['wall'], data['comb'], data['user'],