diff options
author | Gabor Pali <gabor.pali@ibm.com> | 2023-01-17 23:30:47 +0100 |
---|---|---|
committer | Nick Vatamaniuc <nickva@users.noreply.github.com> | 2023-01-17 23:06:25 -0500 |
commit | dad51b5b82e37838e030cb4a7f4abbd90f6c2403 (patch) | |
tree | 96bc88afe86a19595d5bb696e28c3d601634096b /build-aux | |
parent | a14922fad42575574bb26a24a123e0a1ef4e1621 (diff) | |
download | couchdb-dad51b5b82e37838e030cb4a7f4abbd90f6c2403.tar.gz |
Set the SpiderMonkey version for the first phase of PR builds
Diffstat (limited to 'build-aux')
-rw-r--r-- | build-aux/Jenkinsfile.pr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/Jenkinsfile.pr b/build-aux/Jenkinsfile.pr index bcb8b69ad..cf97c900f 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -183,7 +183,7 @@ pipeline { steps { sh ''' rm -rf apache-couchdb-* - ./configure --skip-deps + ./configure --skip-deps --spidermonkey-version 78 make erlfmt-check make elixir-source-checks make python-black |