tree 61fcf863fb80adebc1a2104394f7e71513e3f668
parent 82cc1982946ddbfa0d8546059592d5e61021bfa1
author Han-Wen Nienhuys <hanwen@google.com> 1495213631 +0200
committer Han-Wen Nienhuys <hanwen@google.com> 1495213631 +0200

build: Fix racy write to finishedShards map

Change-Id: Ib27ea7adbb092d8a310004984c095b5e396da8dd