From 5c56bdf04e8b2b23f47b39628a774906a07db44e Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 13 Jul 2017 12:08:47 +0200
Subject: [PATCH] Branch name

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 492bc5c7..c7f308e4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -32,6 +32,7 @@ parallel (
                     deleteDir()
                     env.PATH = "/usr/local/bin:${env.PATH}"
                     checkout scm
+		    echo "$BRANCH_NAME"
                     stage ('build_sb15')
                     {
                       sh "./build.sh $WORKSPACE $NODE_NAME pdata ${env.BRANCH_NAME}"
-- 
GitLab