diff --git a/build.sh b/build.sh index 161be5b80fb9a58b3c27a27cfd29cf250232bdeb..3cfebf5bd191b95430ac6e994fed4cd7fd3a2faa 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"