Add key to known_hosts

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"