diff --git a/Jenkinsfile b/Jenkinsfile
index 154710c9aa..1627cbb52f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
     stages {
         stage('Build') {
             steps {
-                sh 'make clean && make TARGET=Z12'
+                sh 'make clean && make TARGET=Z13'
             }
         }
     }