diff --git a/Jenkinsfile b/Jenkinsfile index 7935c36..602e6fe 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,9 +3,10 @@ pipeline { stages { stage('Test') { steps { - sh 'make --version' + sh 'make --version > make.log' sh 'sclite --help || true' echo "Experimenting!" + archiveArtifacts 'make.log' } } }