Changeset 738cf8f for Jenkinsfile


Ignore:
Timestamp:
Jun 20, 2016, 5:09:57 PM (6 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
fa234ef
Parents:
b886f90
Message:

Jenkins file now only prints documentations build log on errors

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    rb886f90 r738cf8f  
    4646}
    4747
     48def make_doc() {
     49        def err = null
     50
     51        try {
     52                sh 'make clean > /dev/null'
     53                sh 'make > /dev/null 2>&1'
     54        }
     55
     56        catch (Exception caughtError) {
     57                //rethrow error later
     58                err = caughtError
     59
     60                sh 'cat *.log'
     61        }
     62
     63        finally {
     64                /* Must re-throw exception to propagate error */
     65                if (err) {
     66                        throw err
     67                }
     68        }
     69}
     70
    4871def doc_build() {
    4972        build_stage 'Documentation'
    5073
    5174                dir ('doc/user') {
    52                         sh 'make clean'
    53                         sh 'make'
     75                        make_doc()
    5476                }
    5577
    5678                dir ('doc/refrat') {
    57                         sh 'make clean'
    58                         sh 'make'
     79                        make_doc()
    5980                }
    6081}
Note: See TracChangeset for help on using the changeset viewer.