Changeset 85142648
- Timestamp:
- Sep 10, 2019, 1:38:16 PM (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:
- 970141d
- Parents:
- 952ee7a
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Jenkinsfile
r952ee7a r85142648 10 10 //=========================================================================================================== 11 11 12 13 // Globals 14 BuildDir = null 15 SrcDir = null 16 Settings = null 17 StageName = '' 18 19 currentBuild.result = "SUCCESS" 20 21 // Local variables 22 def err = null 23 def log_needed = false 24 25 echo "Testing" 26 27 try { 28 //Wrap build to add timestamp to command line 29 wrap([$class: 'TimestamperBuildWrapper']) { 30 31 echo "Testing 2" 32 Settings = prepare_build() 33 34 node(Settings.Architecture.node) { 12 node('master') { 13 // Globals 14 BuildDir = pwd tmp: true 15 SrcDir = pwd tmp: false 16 Settings = null 17 StageName = '' 18 19 // Local variables 20 def err = null 21 def log_needed = false 22 23 currentBuild.result = "SUCCESS" 24 25 try { 26 //Wrap build to add timestamp to command line 27 wrap([$class: 'TimestamperBuildWrapper']) { 28 29 Settings = prepare_build() 30 31 node(Settings.Architecture.node) { 32 BuildDir = pwd tmp: true 33 SrcDir = pwd tmp: false 34 35 clean() 36 37 checkout() 38 39 build() 40 41 test() 42 43 benchmark() 44 45 build_doc() 46 47 publish() 48 } 49 50 // Update the build directories when exiting the node 35 51 BuildDir = pwd tmp: true 36 52 SrcDir = pwd tmp: false 37 38 clean() 39 40 checkout() 41 42 build() 43 44 test() 45 46 benchmark() 47 48 build_doc() 49 50 publish() 51 } 52 } 53 } 54 55 //If an exception is caught we need to change the status and remember to 56 //attach the build log to the email 57 catch (Exception caughtError) { 58 //rethrow error later 59 err = caughtError 60 61 echo err.toString() 62 63 //An error has occured, the build log is relevent 64 log_needed = true 65 66 //Store the result of the build log 67 currentBuild.result = "${StageName} FAILURE".trim() 68 } 69 70 finally { 71 //Send email with final results if this is not a full build 72 email(log_needed) 73 74 echo 'Build Completed' 75 76 /* Must re-throw exception to propagate error */ 77 if (err) { 78 throw err 79 } 80 } 81 53 } 54 } 55 56 //If an exception is caught we need to change the status and remember to 57 //attach the build log to the email 58 catch (Exception caughtError) { 59 //rethrow error later 60 err = caughtError 61 62 echo err.toString() 63 64 //An error has occured, the build log is relevent 65 log_needed = true 66 67 //Store the result of the build log 68 currentBuild.result = "${StageName} FAILURE".trim() 69 } 70 71 finally { 72 //Send email with final results if this is not a full build 73 email(log_needed) 74 75 echo 'Build Completed' 76 77 /* Must re-throw exception to propagate error */ 78 if (err) { 79 throw err 80 } 81 } 82 } 82 83 //=========================================================================================================== 83 84 // Main compilation routines
Note: See TracChangeset
for help on using the changeset viewer.