diff --git a/Jenkinsfile b/Jenkinsfile index 1cc5a22..464b747 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,7 @@ pipeline { stage('Build') { steps { sh 'printenv' - sh 'make MALLOC=jemalloc' + sh 'build.sh' } } } diff --git a/build.sh b/build.sh index fead902..2e32f06 100755 --- a/build.sh +++ b/build.sh @@ -5,7 +5,7 @@ # #make clean -make && make PREFIX=/usr/local/redis install +make clean && make PREFIX=/usr/local/redis install if ! test -z $1;then return 0;