From b1fd762793f22709f0ade5e06aeb68117e081278 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Fri, 27 Jan 2017 06:40:25 +0100
Subject: [PATCH] Do not erase the prefix every time

---
 gitlab/functions.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 101f82d..4ad4d7b 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -252,10 +252,6 @@ fi
 
 if [ -z "${PREFIX}" ]; then
   PREFIX=${CI_PROJECT_DIR}/build-prefix
-  # In case we're setting-up the prefix, erase it if it exists
-  if [ -d "${PREFIX}" ]; then
-    run_cmd rm -rf ${PREFIX}
-  fi
 fi
 
 if [ -z "${PYPISERVER}" ]; then
-- 
GitLab