diff --git a/Jenkinsfile b/Jenkinsfile index 9d63670..d0ffbb8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -59,7 +59,7 @@ pipeline { stage('.deb package') { steps { - sh "make clean" + sh "rm -rf *.deb" sh "make deb" archiveArtifacts artifacts: '*.deb', allowEmptyArchive: true, fingerprint: true, onlyIfSuccessful: true }