From 8177838cd6847f32247a0993d34f177f46e3917b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Sol=C3=A0=20Ortega?= <jsola@iri.upc.edu>
Date: Fri, 9 Mar 2018 13:08:51 +0100
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e82e974b9..430cec658 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -63,6 +63,6 @@ wolf_build_and_test:
     - mkdir -pv build
     - cd build
     - ls # we can check whether the directory was already full
-    - cmake -DCMAKE_BUILD_TYPE=release ..
+    - cmake -DCMAKE_BUILD_TYPE=release -DBUILD_EXAMPLES=ON -DBUILD_TESTS=ON ..
     - make
     - ctest
-- 
GitLab