| commit | 4c67a3f813e558c9fc1fdbe1ba90461ad0a6a1f0 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Wed Jan 04 15:02:15 2017 +0000 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jan 05 07:59:20 2017 +0000 |
| tree | 3f3699350ca6faf77e6069c32bf1e93016a664da | |
| parent | 697395d4c74b8471588343560a40e0bf49e14ee5 [diff] |
Avoid double-builds of the same change When a change build is in progress, avoid rescheduling it again. Change-Id: Idfaf760b26a6fa3046ca5bc38688bba8367035f7