From 5a83d2d1440b0bd682a42d89d2803895a76d7f59 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <jcarpent@laas.fr>
Date: Wed, 5 Sep 2018 10:58:50 +0200
Subject: [PATCH] [GitLab] Add missing command build_tests to force building

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8a3d856d1..405156b77 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,6 +18,7 @@ cache:
     - make checkout MASTER_REPOSITORY="dir ${CI_PROJECT_DIR}"
     - make install
     - cd work.$(hostname)/$(make show-var VARNAME=DISTNAME)
+    - make build_tests
     - make test
 
 robotpkg-pinocchio-14.04-release:
-- 
GitLab