diff options
author | Paul J. Davis <paul.joseph.davis@gmail.com> | 2019-12-11 15:30:43 -0600 |
---|---|---|
committer | Paul J. Davis <paul.joseph.davis@gmail.com> | 2019-12-11 15:30:43 -0600 |
commit | 126ea2136fb5b5ebcd8e6b359ce56cfbee48ad28 (patch) | |
tree | 357dd1fe35cf9a4b8608f4592aafd8b0c2fc29f1 | |
parent | 8643a0c0bc7a79cbc938d2605b62cf238f440686 (diff) | |
download | couchdb-jenkins-davisp-test.tar.gz |
Trying to be clever and broke thingsjenkins-davisp-test
-rw-r--r-- | build-aux/Jenkinsfile.mini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/Jenkinsfile.mini b/build-aux/Jenkinsfile.mini index c765fc958..115365109 100644 --- a/build-aux/Jenkinsfile.mini +++ b/build-aux/Jenkinsfile.mini @@ -89,7 +89,7 @@ pipeline { ''' sh './configure --with-curl' sh 'make couch' - // sh 'make fauxton' + sh 'make fauxton' sh 'make docs' sh 'make dist' sh 'chmod -R a+w * .' |