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"){