From f6ab4e9520c6dd2de6d6247347ca005c3fe4213c Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Sep 2020 16:37:42 +0200
Subject: [ci] [mathcomp] run the test suite

---
 dev/ci/ci-mathcomp.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ci/ci-mathcomp.sh')

diff --git a/dev/ci/ci-mathcomp.sh b/dev/ci/ci-mathcomp.sh
index cae127ee7b..b1aa56ec4e 100755
--- a/dev/ci/ci-mathcomp.sh
+++ b/dev/ci/ci-mathcomp.sh
@@ -6,7 +6,7 @@ ci_dir="$(dirname "$0")"
 
 git_download mathcomp
 
-( cd "${CI_BUILD_DIR}/mathcomp/mathcomp" && make && make install )
+( cd "${CI_BUILD_DIR}/mathcomp/mathcomp" && make && make test-suite && make install )
 
 git_download fourcolor
 
-- 
cgit v1.2.3