添加Jenkinsfile

2020-09-12 10:12:54 +08:00 · 2020-09-12 10:12:54 +08:00 · ecc4abc8d1
commit ecc4abc8d1
parent bdf91c1e36
2 changed files with 5 additions and 1 deletions
--- a/2
+++ b/2
@ -4,7 +4,7 @@ pipeline {
    stages {
        stage('Build') {
            steps {
-                sh 'make'
+                sh 'build.sh'
            }
        }
    }
--- 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/