1630 ("90%", resultcount * 90 // 100), |
1630 ("90%", resultcount * 90 // 100), |
1631 ("95%", resultcount * 95 // 100), |
1631 ("95%", resultcount * 95 // 100), |
1632 ("99%", resultcount * 99 // 100), |
1632 ("99%", resultcount * 99 // 100), |
1633 ("max", -1), |
1633 ("max", -1), |
1634 ] |
1634 ] |
1635 for name, idx in relevants: |
1635 if not ui.quiet: |
1636 data = results[idx] |
1636 for name, idx in relevants: |
1637 title = '%s of %d, rev %d' % (name, resultcount, data[0]) |
1637 data = results[idx] |
1638 formatone(fm, data[1], title=title, displayall=displayall) |
1638 title = '%s of %d, rev %d' % (name, resultcount, data[0]) |
|
1639 formatone(fm, data[1], title=title, displayall=displayall) |
1639 |
1640 |
1640 # XXX summing that many float will not be very precise, we ignore this fact |
1641 # XXX summing that many float will not be very precise, we ignore this fact |
1641 # for now |
1642 # for now |
1642 totaltime = [] |
1643 totaltime = [] |
1643 for item in allresults: |
1644 for item in allresults: |