Update Jenkinsfile

martin-frbg · web-flow · commit 51c218d17a74 · 2023-08-05T18:33:15.000+02:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
     stages {
         stage('Build') {
             steps {
-                sh 'make'
+                sh 'make clean && make'
             }
         }
     }
