From 486ad00de3ec88adea5e770c29142210e9de8b97 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 6 Feb 2017 21:34:39 +0100
Subject: [travis] Improve parallelism in build (cf #88)

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 966c910..b7f69d9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -48,5 +48,6 @@ script:
 - cd mathcomp
 # Full build takes too much time.
 - sed -i.bak '/odd_order/d' Make
-- make -j ${NJOBS}
+- make Makefile.coq
+- make -f Makefile.coq -j ${NJOBS} all
 - echo -en 'travis_fold:end:mathcomp.build\\r'
-- 
cgit v1.2.3