diff options
author | Nick Vatamaniuc <vatamane@gmail.com> | 2022-06-17 18:13:54 -0400 |
---|---|---|
committer | Nick Vatamaniuc <nickva@users.noreply.github.com> | 2022-06-17 18:59:17 -0400 |
commit | cb80c634a64d3886251f279de78eede1bda12061 (patch) | |
tree | d5c2c0d6fe373094e732d4c99e4378953caf8b8d | |
parent | 1d2ba3e5eefb1ab46146cf6506b1feeb2aa1eeb5 (diff) | |
download | couchdb-cb80c634a64d3886251f279de78eede1bda12061.tar.gz |
Lowest CI image version Erlang 23 doesn't have spidermonkey 1.8.5
-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 5b9b209e9..7f7c6c18e 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -114,7 +114,7 @@ pipeline { sh ''' set rm -rf apache-couchdb-* - ./configure + ./configure --spidermonkey-version 78 make dist chmod -R a+w * . ''' |