diff options
Diffstat (limited to 'build-aux/Jenkinsfile.pr')
-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 |