tree e41998ba4236bbb63cd427c302670b9f5724c88f
parent 9e71842fbfa2ee7ef7ffd54fed5815c31ccdef2d
author Mike Frysinger <vapier@google.com> 1560444159 -0400
committer Mike Frysinger <vapier@google.com> 1560523621 +0000

sync: use integer division with job counts

Neither of the fields here expect floats so make sure we use integer
division when calculating things.

Bug: https://crbug.com/gerrit/10418
Change-Id: Ibda068b16a7bba7ff3efba442c4bbff4415caa6e