tree ee9fb6b0b8780253624152b78147ba267259d450
parent b653c028a755fd285c4c40f49beac8eee79c267e
author Luca Milanesio <luca.milanesio@gmail.com> 1483521859 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1483603072 +0000

Do not verify change is any of the builds is aborted

Change-Id: Ie23ac8a74763cb87924d15d990c851c4327246e3