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-27 01:50:21 -0500 |
commit | f3baedc3d2f8554a25acd828532d89470d97b7a9 (patch) | |
tree | 2e68f147d61b8b772d24f447fb80cd8e1c97def6 | |
parent | 74606ffc1ee9587077c1b3a0d5ad9f8fbf8c770b (diff) | |
download | couchdb-f3baedc3d2f8554a25acd828532d89470d97b7a9.tar.gz |
Set the SpiderMonkey version for the first phase of PR builds
-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 |