From cdbbd1a644a802138204d03728e596c63cf655ab Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Wed, 8 Sep 2021 10:04:54 +0200
Subject: [PATCH] Add key to known_hosts

---
 build.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 161be5b80..3cfebf5bd 100755
--- a/build.sh
+++ b/build.sh
@@ -20,7 +20,9 @@ echo "compilation type: $comp_type"
 echo "Branch name: $branch"
 echo "GPU compilation: $with_gpu"
 
-ssh-keyscan -H gitlab.mpi-cbg.de >> ~/.ssh/known_hosts
+
+ssh-keyscan -H git.mpi-cbg.de >> ~/.ssh/known_hosts
+cat ~/.ssh/known_hosts
 
 if [ x"$hostname" == x"cifarm-centos-node.mpi-cbg.de"  ]; then
 	echo "CentOS node"
-- 
GitLab