diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5e3097833..2d43215fc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -21,7 +21,7 @@ pipeline { } stage("clang-tidy") { steps { - sh './clang-tidy.sh -j 3' + sh './clang-tidy.sh -j 4' } } } @@ -30,24 +30,24 @@ pipeline { parallel { stage("gcc") { environment { - TRAVIS_CUBERITE_BUILD_TYPE = 'Release' - TRAVIS_JOB_NUMBER = "{$env.BUILD_ID}" + CI_CUBERITE_BUILD_TYPE = 'Release' + CI_JOB_NUMBER = "{$env.BUILD_ID}" CC = "gcc" CXX = "g++" } steps { - sh 'bash ./travisbuild.sh' + sh 'bash ./cibuild.sh' } } stage("clang") { environment { - TRAVIS_CUBERITE_BUILD_TYPE = 'Debug' - TRAVIS_JOB_NUMBER = "{$env.BUILD_ID}" + CI_CUBERITE_BUILD_TYPE = 'Debug' + CI_JOB_NUMBER = "{$env.BUILD_ID}" CC = "clang" CXX = "clang++" } steps { - sh 'bash ./travisbuild.sh' + sh 'bash ./cibuild.sh' } } } |