Be more verbose in CI jobs.
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 11 Sep 2017 06:35:46 +0000 (08:35 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 11 Sep 2017 06:35:46 +0000 (08:35 +0200)
commit541f55014d1cffe4b938b3b65961d0efa23a6e1c
tree53e9a5139dd423f8746ad4ae16979a6963b703e2
parent2acd2a5f3f623ce6cd98ac2b5d78784ee6f39eed
Be more verbose in CI jobs.

Signed-off-by: Manuel Peuster <manuel@peuster.de>
utils/ci/jenkins_entrypoint.sh