From 967a8f4c898fa26ae962281278b9fae3b0a4fdc7 Mon Sep 17 00:00:00 2001
From: Gabor Pali <gabor.pali@ibm.com>
Date: Tue, 17 Jan 2023 23:30:47 +0100
Subject: [PATCH] Set the SpiderMonkey version for the first phase of PR builds

---
 build-aux/Jenkinsfile.pr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-aux/Jenkinsfile.pr b/build-aux/Jenkinsfile.pr
index bcb8b69ad7f..cf97c900f8c 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