From 6282690addcaea612252709e039dec105b110d95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joaquim=20Casals=20Bu=C3=B1uel?= <jcasals@iri.upc.edu>
Date: Mon, 15 Jul 2019 12:04:38 +0200
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e5ec93327..199bb0cd5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,15 +18,14 @@ before_script:
   ## without extra base64 encoding.
   ## https://gitlab.com/gitlab-examples/ssh-private-key/issues/1#note_48526556
   ##
+  - mkdir -p ~/.ssh
+  - chmod 700 ~/.ssh  
   - echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
+  - echo "$SSH_KNOWN_HOSTS" > $HOME/.ssh/known_hosts
 
   ##
   ## Create the SSH directory and give it the right permissions
   ##
-  - mkdir -p ~/.ssh
-  - chmod 700 ~/.ssh  
-  - ssh-keyscan -H gitlab.iri.upc.edu >> $HOME/.ssh/known_hosts
-  
   - ls
   - apt-get update
   - apt-get install -y build-essential cmake 
-- 
GitLab