diff --git a/Jenkinsfile b/Jenkinsfile
index 8daca3a..0ab3267 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -38,7 +38,7 @@ pipeline {
     }
     post {
         always {
-            sh 'make clean'
+            sh 'make clean || true'
         }
     }
 }