From 45a0f4d2abee371a79e39227bd1d84f8d1122d1a Mon Sep 17 00:00:00 2001 From: Andrei Gheorghiu Date: Tue, 18 Oct 2016 15:55:29 +0200 Subject: changed how we get manifest repo url --- Jenkinsfile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Jenkinsfile') diff --git a/Jenkinsfile b/Jenkinsfile index 087101e..09bb05f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,6 +14,8 @@ print "MANIFEST_REPOSITORY: " + MANIFEST_REPOSITORY print "git_repo_name: " + git_repo_name print "PROFILE: " + env.PROFILE +System.exit(2) + // node ('master') { // print 'master node' // dir ("../${env.BRANCH_NAME}@script") { -- cgit v1.2.3-54-g00ecf