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