Set the SpiderMonkey version for the first phase of PR builds

apache · Jan 17, 2023 · 5322b35 · 5322b35
1 parent e56e5fa
commit 5322b35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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