From 66f3d3ddc4287c3a6c39a86f8184434e9a032b21 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20K=C3=BChnel?= Date: Mon, 27 Jan 2020 15:27:00 +0100 Subject: [PATCH] logging details on clang tools versions --- Jenkins/Phabricator-pipeline/Jenkinsfile | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/Jenkins/Phabricator-pipeline/Jenkinsfile b/Jenkins/Phabricator-pipeline/Jenkinsfile index 9de41e2..23f071d 100644 --- a/Jenkins/Phabricator-pipeline/Jenkinsfile +++ b/Jenkins/Phabricator-pipeline/Jenkinsfile @@ -46,7 +46,18 @@ pipeline { currentBuild.displayName += " D${drev_id}" currentBuild.description = "D${drev_id}" } - sh 'dpkg -l' // Report versions of the installed packages. + // Report versions of the installed packages. + sh ''' + echo Versions of various tools: + echo clang --version + clang --version + echo clang-tidy --version + clang-tidy --version + echo ld.lld --version + ld.lld --version + dpkg -l + ''' + } } stage("git checkout"){