tree 3f3699350ca6faf77e6069c32bf1e93016a664da
parent 697395d4c74b8471588343560a40e0bf49e14ee5
author Luca Milanesio <luca.milanesio@gmail.com> 1483542135 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1483603160 +0000

Avoid double-builds of the same change

When a change build is in progress, avoid rescheduling it
again.

Change-Id: Idfaf760b26a6fa3046ca5bc38688bba8367035f7