Skip to content
Snippets Groups Projects
Commit b1fd7627 authored by André Anjos's avatar André Anjos :speech_balloon:
Browse files

Do not erase the prefix every time

parent 78de5825
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 4 deletions
gitlab/functions.sh
+ 0
− 4
View file @ b1fd7627
...@@ -252,10 +252,6 @@ fi ...@@ -252,10 +252,6 @@ fi
if [ -z "${PREFIX}" ]; then if [ -z "${PREFIX}" ]; then
PREFIX=${CI_PROJECT_DIR}/build-prefix 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 fi
if [ -z "${PYPISERVER}" ]; then if [ -z "${PYPISERVER}" ]; then
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment