From af72f18ee819fd39adcab7f2aad628c47c65ba99 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <jcarpent@laas.fr>
Date: Wed, 5 Sep 2018 09:58:01 +0200
Subject: [PATCH] [Gitlab] Change make check to make test

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

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