diff options
| author | Robert Newson <rnewson@apache.org> | 2020-03-31 00:31:04 +0100 |
|---|---|---|
| committer | Robert Newson <rnewson@apache.org> | 2020-03-31 00:31:04 +0100 |
| commit | 1b93065d0e2c22ef4e43efcb074a78bc0d3fd135 (patch) | |
| tree | e9eb0041a23d776f5634509b72b300be8904b53a | |
| parent | 2212c31468b5e55180ab5dfd251bc6b265335b69 (diff) | |
| download | couchdb-jenkins-without-kerl.tar.gz | |
Jenkins without kerl?jenkins-without-kerl
| -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") |