summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick Vatamaniuc <vatamane@apache.org>2022-06-18 23:04:17 -0400
committerNick Vatamaniuc <nickva@users.noreply.github.com>2022-06-20 14:04:24 -0400
commit52ef641f1b38e001455c467efff8d2843fa71622 (patch)
tree3d18bc18771507f441077445bd352c015d5fd2d3
parent19d2f9b690ff38e485d6b53336d83d50dd9f2ae1 (diff)
downloadcouchdb-52ef641f1b38e001455c467efff8d2843fa71622.tar.gz
Fix full CI build
We had to set spidermonkey to 78 in the PR CI builds so do the same for full builds.
-rw-r--r--build-aux/Jenkinsfile.full6
1 files changed, 1 insertions, 5 deletions
diff --git a/build-aux/Jenkinsfile.full b/build-aux/Jenkinsfile.full
index 4c9c531d5..de3aa0247 100644
--- a/build-aux/Jenkinsfile.full
+++ b/build-aux/Jenkinsfile.full
@@ -267,14 +267,10 @@ pipeline {
registryCredentialsId 'dockerhub_creds'
}
}
- environment {
- // TODO find a way to avoid setting this explicitly
- spidermonkey = '60'
- }
steps {
timeout(time: 15, unit: "MINUTES") {
sh (script: 'rm -rf apache-couchdb-*', label: 'Clean workspace of any previous release artifacts' )
- sh "./configure --spidermonkey-version ${spidermonkey}"
+ sh "./configure --spidermonkey-version 78"
sh 'make erlfmt-check'
sh 'make elixir-check-formatted'
sh 'make dist'