tree 5ac8cd5a5ec0545293f701bd26ec8ba18690f07a
parent 67e73d15fc0a205962df02b8c04df1ba1be37a45
author Riku Voipio <riku.voipio@linaro.org> 1599461483 +0300
committer Riku Voipio <riku.voipio@linaro.org> 1599462028 +0300

jenkins/build-config.jpl: drop use of tee()

Some buf reports indicate that parallel + tee()
doesn't quite work reliably:

https://issues.jenkins-ci.org/browse/JENKINS-63504
https://issues.jenkins-ci.org/browse/JENKINS-37575

Test if moving tee to shell removes the never ending
jobs observed in tf-m-nightly builds.

Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
Change-Id: I3d5cc972d0b9d6073d66278a771bf000497bbc33