Changeset 18e2758


Ignore:
Timestamp:
Jun 20, 2016, 3:57:04 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, resolv-new, with_gc
Children:
b886f90
Parents:
fea90c6
Message:

Jenkinsfile now builds documentation as well

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    rfea90c6 r18e2758  
    4646}
    4747
     48def doc_build() {
     49        build_stage 'Documentation'
     50
     51                dir ('doc/user') {
     52                        sh 'make clean'
     53                        sh 'make'
     54                }
     55
     56                dir ('doc/refrat') {
     57                        sh 'make clean'
     58                        sh 'make'
     59                }
     60}
     61
    4862def push_build() {
    4963        //Don't use the build_stage function which outputs the compiler
     
    126140        try {
    127141                //Prevent the build from exceeding 30 minutes
    128                 timeout(30) {
     142                timeout(60) {
    129143
    130144                        //Wrap build to add timestamp to command line
     
    159173                                cfa_build(doPromoteBuild2DoLang)
    160174
     175                                //Compile latex documentation
     176                                doc_build()
     177
    161178                                if( doPromoteBuild2DoLang ) {
    162179                                        push_build()
Note: See TracChangeset for help on using the changeset viewer.