diff options
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
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' |