tree 3796b6bbe42cf95dfacf712ba59071fda92af926
parent 05eba7eff20dd4c89ae9257c9c9667f0ca5b7874
author Luca Milanesio <luca.milanesio@gmail.com> 1490618476 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1490650700 +0000

Don't rely on stdout/stderr output

It seems that curl cannot reliably consume all the stdout / stderr
because of caching issues. We cannot reliably rely on it
for deciding the build success or failure.

Change-Id: Ifdb5c713b0c1b1a54dd6efb56c270c295ddad605