From f33b9f826a638221fdf71200933fe7199bd6976f Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Thu, 15 Aug 2019 04:55:46 +0000
Subject: [PATCH] [gitlab-ci] Debug build/test

---
 .gitlab-ci.yml                     | 4 ++--
 tests/{build.sh => build_debug.sh} | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)
 rename tests/{build.sh => build_debug.sh} (52%)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2a990358..37b88647 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -77,13 +77,13 @@ cleanup_win:
   variables:
     UBUNTU_VERSION: "18.04"
 
-build_ubuntu:
+build_ubuntu_debug:
   <<: *ubuntu
   stage: build
   script:
     - docker build -t netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} -f tests/dockerfile .
     - rm -f netgen_${CI_PIPELINE_ID}_$UBUNTU_VERSION.id
-    - docker run --cidfile netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id -e CCACHE_DIR=/ccache -v /mnt/ccache:/ccache netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} bash /root/src/netgen/tests/build.sh
+    - docker run --cidfile netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id -e CCACHE_DIR=/ccache -v /mnt/ccache:/ccache netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} bash /root/src/netgen/tests/build_debug.sh
     - docker commit `cat netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id` netgen_${CI_PIPELINE_ID}_installed:${UBUNTU_VERSION}
     - rm netgen_${CI_PIPELINE_ID}_${UBUNTU_VERSION}.id
 
diff --git a/tests/build.sh b/tests/build_debug.sh
similarity index 52%
rename from tests/build.sh
rename to tests/build_debug.sh
index 68aea3ad..5f9d68e5 100755
--- a/tests/build.sh
+++ b/tests/build_debug.sh
@@ -1,6 +1,6 @@
 cd
 mkdir -p build/netgen
 cd build/netgen
-cmake ../../src/netgen -DUSE_CCACHE=ON
+cmake ../../src/netgen -DUSE_CCACHE=ON -DBUILD_TYPE=DEBUG
 make -j12
 make install