diff options
Diffstat (limited to 'build-aux/Jenkinsfile.pr')
| -rw-r--r-- | build-aux/Jenkinsfile.pr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/Jenkinsfile.pr b/build-aux/Jenkinsfile.pr index 4b749e1ac..46c5e47a0 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -20,7 +20,7 @@ mkdir build cd build tar -xf ${WORKSPACE}/apache-couchdb-*.tar.gz cd apache-couchdb-* -./configure +./configure --enable-nouveau make check || (make build-report && false) ''' @@ -218,7 +218,7 @@ pipeline { steps { sh ''' rm -rf apache-couchdb-* - ./configure --spidermonkey-version 78 + ./configure --spidermonkey-version 78 --enable-nouveau make dist chmod -R a+w * . ''' |