tree a3477f91d14fc2d72c50695ca668a42f291ff598
parent 5055a1610dbb514ff6b4b5b115432bf35b253a06
author John Koleszar <jkoleszar@google.com> 1345573118 -0700
committer John Koleszar <jkoleszar@google.com> 1345573118 -0700

all_builds.py: support for sharding builds

Allow sharding of the builds with the --shard= and --shards= options.

Change-Id: I9d5552ad2edc0b1210e96f0e94ce7dfd645c45f8