diff --git a/Jenkinsfile b/Jenkinsfile index 36332062..a59a33ad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { } stage('Build Asan') { steps { - sh 'make purge configure-debug' + sh 'make purge configure-asan' sh 'make' } }