diff --git a/Jenkinsfile b/Jenkinsfile index 72d026d..36241e6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { stages { stage('Build') { steps { - sh 'make' + sh 'build.sh' } } } diff --git a/build.sh b/build.sh index 507e4d8..fead902 100755 --- a/build.sh +++ b/build.sh @@ -7,6 +7,10 @@ #make clean make && make PREFIX=/usr/local/redis install +if ! test -z $1;then + return 0; +fi + if [ ! -d "/usr/local/redis/config/" ] then mkdir -p /usr/local/redis/config/