From 70bf8452f791ef8d38dac3f45cab77152b60498d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Soko=C5=82owski?= Date: Wed, 31 Aug 2022 17:54:55 +0200 Subject: [PATCH] ci: save and show both stdout and stderr MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit By using the `|&` operator we send both to `tee`. Signed-off-by: Jakub SokoĊ‚owski --- ci/Jenkinsfile.tests | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/Jenkinsfile.tests b/ci/Jenkinsfile.tests index d90fe8b930..942f71a9a4 100644 --- a/ci/Jenkinsfile.tests +++ b/ci/Jenkinsfile.tests @@ -54,10 +54,10 @@ pipeline { stage('Checks') { parallel { stage('Lint') { - steps { sh "make lint > ${LOG_FILE}" } + steps { sh "make lint 2>&1 | tee ${LOG_FILE}" } } stage('Tests') { - steps { sh "make test >> ${LOG_FILE}" } + steps { sh "make test 2>&1 | tee -a ${LOG_FILE}" } } } }