Changeset 6c55a3d
- Timestamp:
- Jun 25, 2019, 10:04:15 AM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 8ecb590
- Parents:
- 3e2f5e3
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Jenkinsfile
r3e2f5e3 r6c55a3d 82 82 //=========================================================================================================== 83 83 def clean() { 84 build_stage('Cleanup' ) {84 build_stage('Cleanup', true) { 85 85 // clean the build by wipping the build directory 86 86 dir(BuildDir) { … … 92 92 //Compilation script is done here but environnement set-up and error handling is done in main loop 93 93 def checkout() { 94 build_stage('Checkout' ) {94 build_stage('Checkout', true) { 95 95 //checkout the source code and clean the repo 96 96 final scmVars = checkout scm … … 103 103 104 104 def build() { 105 build_stage('Build' ) {105 build_stage('Build', true) { 106 106 // Build outside of the src tree to ease cleaning 107 107 dir (BuildDir) { … … 125 125 126 126 def test() { 127 build_stage('Test' ) {127 build_stage('Test', true) { 128 128 129 129 dir (BuildDir) { … … 141 141 142 142 def benchmark() { 143 build_stage('Benchmark') { 144 145 if( !Settings.RunBenchmark ) return 146 143 build_stage('Benchmark', Settings.RunBenchmark) { 147 144 dir (BuildDir) { 148 145 //Append bench results … … 153 150 154 151 def build_doc() { 155 build_stage('Documentation') { 156 157 if( !Settings.BuildDocumentation ) return 158 152 build_stage('Documentation', Settings.BuildDocumentation) { 159 153 dir ('doc/user') { 160 154 make_doc() … … 168 162 169 163 def publish() { 170 build_stage('Publish' ) {164 build_stage('Publish', true) { 171 165 172 166 if( Settings.Publish && !Settings.RunBenchmark ) { echo 'No results to publish!!!' } … … 412 406 } 413 407 414 def build_stage(String name, Closure block ) {408 def build_stage(String name, boolean run, Closure block ) { 415 409 StageName = name 416 410 echo " -------- ${StageName} -------- " 417 stage(name, block)411 stage(name, run ? block : false) 418 412 } 419 413
Note: See TracChangeset
for help on using the changeset viewer.