From ef5fb0ddeb48aea5990a5a0102ddfc5450e51b38 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dion=20H=C3=A4fner?= <dhaefner@iup.uni-heidelberg.de>
Date: Sat, 8 Oct 2016 11:11:57 +0000
Subject: [PATCH] Remove build directories after update

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 75cf2811..aecceefa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,7 +22,8 @@ update_dune_job:
   script:
     - export CMAKE_FLAGS="-DCMAKE_CXX_FLAGS='$COMPILER_FLAGS'"
     - ./dune-common/bin/dunecontrol update || true
-    - ./dune-common/bin/dunecontrol --module=dorie all
-    - ./dune-common/bin/dunecontrol --module=dorie make install
+    - ./dune-common/bin/dunecontrol exec "rm -rf build-cmake"
+    - ./dune-common/bin/dunecontrol all
+    - ./dune-common/bin/dunecontrol make install
     - ARGS="--output-on-failure" ./dune-common/bin/dunecontrol --only=dorie make test
   stage: main
-- 
GitLab