diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 087101e..09bb05f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile | |||
| @@ -14,6 +14,8 @@ print "MANIFEST_REPOSITORY: " + MANIFEST_REPOSITORY | |||
| 14 | print "git_repo_name: " + git_repo_name | 14 | print "git_repo_name: " + git_repo_name |
| 15 | print "PROFILE: " + env.PROFILE | 15 | print "PROFILE: " + env.PROFILE |
| 16 | 16 | ||
| 17 | System.exit(2) | ||
| 18 | |||
| 17 | // node ('master') { | 19 | // node ('master') { |
| 18 | // print 'master node' | 20 | // print 'master node' |
| 19 | // dir ("../${env.BRANCH_NAME}@script") { | 21 | // dir ("../${env.BRANCH_NAME}@script") { |