From 5406bad6dc0af81ac1eebec7f0f5b36c20114a96 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 16 Apr 2018 17:32:32 +0200
Subject: [PATCH] Fixing secondary OS compilation
---
build_sec_OS.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/build_sec_OS.sh b/build_sec_OS.sh
index d24f55964..a5aee1564 100755
--- a/build_sec_OS.sh
+++ b/build_sec_OS.sh
@@ -18,6 +18,7 @@ if [ "$2" == "windows10" ]; then
branch=$(git ls-remote --heads origin | grep $(git rev-parse HEAD) | cut -d / -f 3)
+ git pull origin master
./install -i "/home/jenkins/$branch" < input_install
fi
--
GitLab