diff --git a/Jenkinsfile b/Jenkinsfile index 3ea5f26..493fd6e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,12 +15,15 @@ pipeline { stages { stage("Build") { steps { - sh 'whoami' - sh 'make snow' + sh 'make clean' sh 'make' archiveArtifacts artifacts: 'setup_*.exe' } } } + post { + always { + deleteDir() + } }