Set the SpiderMonkey version for the first phase of PR builds

apache · Jan 27, 2023 · f3baedc · f3baedc
1 parent 74606ff
commit f3baedc
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