diff --git a/Jenkins/Phabricator-pipeline/Jenkinsfile b/Jenkins/Phabricator-pipeline/Jenkinsfile index 3e170ba..152322b 100644 --- a/Jenkins/Phabricator-pipeline/Jenkinsfile +++ b/Jenkins/Phabricator-pipeline/Jenkinsfile @@ -44,6 +44,10 @@ pipeline { currentBuild.displayName += " D${drev_id}" currentBuild.description = "D${drev_id}" } + // Report versions of the installed packages. + sh 'dpkg -l' + sh 'clang --version' + sh 'python --version' } } stage("git checkout"){