diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index ee3c3eecd..3209d4800 100644 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -102,7 +102,7 @@ pipeline { job.nextBuildNumber = env.BUILD_NUMBER as Integer job.saveNextBuildNumber() } catch (Exception e) { - println "[!] Failed to set next build number for [$it], make sure the script approvals are in place" + println "[!] Could not set next build number for [$it], make sure all the script approvals are in place" } /* Trigger this job. */ diff --git a/.ci/build.sh b/.ci/build.sh index 4808af571..94f84706e 100644 --- a/.ci/build.sh +++ b/.ci/build.sh @@ -508,7 +508,7 @@ fi # Run builds according to the Jenkins job name. case $JOB_BASE_NAME in - $project | $project-TestBuildPleaseIgnore) + $project | $project-TestBuildPleaseIgnore*) if is_windows then build 32 --preset=regular