diff options
author | Andrei Gheorghiu <andrei.gheorghiu@enea.com> | 2016-10-18 15:55:29 +0200 |
---|---|---|
committer | Andrei Gheorghiu <andrei.gheorghiu@enea.com> | 2016-10-18 15:55:29 +0200 |
commit | 45a0f4d2abee371a79e39227bd1d84f8d1122d1a (patch) | |
tree | 1ef10e4fdd39dd14d1020fd89a951c03b470e9d0 /Jenkinsfile | |
parent | 18a77b4e5dd658171c3c45b847b1cd7ef6ac864f (diff) | |
download | el_manifests-standard-45a0f4d2abee371a79e39227bd1d84f8d1122d1a.tar.gz |
changed how we get manifest repo url
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") { |