diff --git a/build.sh b/build.sh index c3ad1f1b1e78a637ae895797b25dc2c587aa07ba..161be5b80fb9a58b3c27a27cfd29cf250232bdeb 100755 --- a/build.sh +++ b/build.sh @@ -20,6 +20,8 @@ echo "compilation type: $comp_type" echo "Branch name: $branch" echo "GPU compilation: $with_gpu" +ssh-keyscan -H gitlab.mpi-cbg.de >> ~/.ssh/known_hosts + if [ x"$hostname" == x"cifarm-centos-node.mpi-cbg.de" ]; then echo "CentOS node" source /opt/rh/devtoolset-8/enable