From 867effc8c929e280b6b729d10d279c65e46a51d6 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 24 Jul 2017 13:49:53 +0200
Subject: [PATCH] Buld OS pipeline by branch

---
 build_sec_OS.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build_sec_OS.sh b/build_sec_OS.sh
index 652996935..e6ef722e5 100755
--- a/build_sec_OS.sh
+++ b/build_sec_OS.sh
@@ -4,7 +4,6 @@
 
 echo "Directory: $1"
 echo "Machine: $2"
-echo "Branch: $BRANCH_NAME"
 
 mkdir src/config
 
@@ -17,7 +16,9 @@ if [ "$2" == "windows10" ]; then
     echo "y" >> input_install
     echo "1" >> input_install
 
-    ./install -i "/home/jenkins/$BRANCH_NAME" < input_install
+    branch=$(git rev-parse --abbrev-ref HEAD)    
+
+    ./install -i "/home/jenkins/$branch" < input_install
 
 fi
 
-- 
GitLab