diff options
| -rw-r--r-- | build-aux/Jenkinsfile.pr | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/build-aux/Jenkinsfile.pr b/build-aux/Jenkinsfile.pr index 8c9cbd930..11f54513e 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -20,7 +20,6 @@ mkdir build cd build tar -xf ${WORKSPACE}/apache-couchdb-*.tar.gz cd apache-couchdb-* -. /usr/local/kerl/${KERL_VER}/activate ./configure --with-curl --spidermonkey-version 60 make check || (make build-report && false) ''' @@ -79,7 +78,6 @@ pipeline { sh ''' set rm -rf apache-couchdb-* - . /usr/local/kerl/${LOW_ERLANG_VER}/activate ./configure --with-curl make dist chmod -R a+w * . @@ -120,9 +118,6 @@ pipeline { alwaysPull true } } - environment { - KERL_VER = "${ERLANG_VERSION}" - } options { skipDefaultCheckout() timeout(time: 90, unit: "MINUTES") |