diff options
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index dfa7334..eaea849 100644 --- a/Jenkinsfile +++ b/Jenkinsfile | |||
@@ -10,7 +10,7 @@ node ('master') { | |||
10 | def git_repo_name = git_repo.replace('.git','') | 10 | def git_repo_name = git_repo.replace('.git','') |
11 | def profile = git_repo_name.split('-')[-1] | 11 | def profile = git_repo_name.split('-')[-1] |
12 | env.PROFILE = profile | 12 | env.PROFILE = profile |
13 | print git_repo_name | 13 | sh 'echo $PROFILE' |
14 | } | 14 | } |
15 | } | 15 | } |
16 | System.exit(1) | 16 | System.exit(1) |