tree 5402125a95c4ef8b26ff7b2ad6a08a5177eb2c67
parent f96a06bf8fd5706ede6fc718ff874f75b806ce92
author Damien Martin-Guillerez <dmarting@google.com> 1510519612 -0800
committer Damien Martin-guillerez <dmarting@google.com> 1510541938 +0000

Do not allow concurrent build on post-submit

With automatic push, we will have an increase of post-submit, so avoid
overloading the post submit queue by disallowing concurrent build.

Change-Id: Iaf71ba4a1222de0e82803443f74ce451f73594c4