Changeset 6c55a3d


Ignore:
Timestamp:
Jun 25, 2019, 10:04:15 AM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
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
Message:

Change jenkins file to mark staged as skipped rather than lasted 0s

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r3e2f5e3 r6c55a3d  
    8282//===========================================================================================================
    8383def clean() {
    84         build_stage('Cleanup') {
     84        build_stage('Cleanup', true) {
    8585                // clean the build by wipping the build directory
    8686                dir(BuildDir) {
     
    9292//Compilation script is done here but environnement set-up and error handling is done in main loop
    9393def checkout() {
    94         build_stage('Checkout') {
     94        build_stage('Checkout', true) {
    9595                //checkout the source code and clean the repo
    9696                final scmVars = checkout scm
     
    103103
    104104def build() {
    105         build_stage('Build') {
     105        build_stage('Build', true) {
    106106                // Build outside of the src tree to ease cleaning
    107107                dir (BuildDir) {
     
    125125
    126126def test() {
    127         build_stage('Test') {
     127        build_stage('Test', true) {
    128128
    129129                dir (BuildDir) {
     
    141141
    142142def benchmark() {
    143         build_stage('Benchmark') {
    144 
    145                 if( !Settings.RunBenchmark ) return
    146 
     143        build_stage('Benchmark', Settings.RunBenchmark) {
    147144                dir (BuildDir) {
    148145                        //Append bench results
     
    153150
    154151def build_doc() {
    155         build_stage('Documentation') {
    156 
    157                 if( !Settings.BuildDocumentation ) return
    158 
     152        build_stage('Documentation', Settings.BuildDocumentation) {
    159153                dir ('doc/user') {
    160154                        make_doc()
     
    168162
    169163def publish() {
    170         build_stage('Publish') {
     164        build_stage('Publish', true) {
    171165
    172166                if( Settings.Publish && !Settings.RunBenchmark ) { echo 'No results to publish!!!' }
     
    412406}
    413407
    414 def build_stage(String name, Closure block ) {
     408def build_stage(String name, boolean run, Closure block ) {
    415409        StageName = name
    416410        echo " -------- ${StageName} -------- "
    417         stage(name, block)
     411        stage(name, run ? block : false)
    418412}
    419413
Note: See TracChangeset for help on using the changeset viewer.