diff --git a/Jenkinsfile b/Jenkinsfile index 240ec7d..1cc5a22 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,7 @@ pipeline { stage('Build') { steps { sh 'printenv' - sh 'make' + sh 'make MALLOC=jemalloc' } } }