]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Coverall.
authorfennecdjay <astor.jeremie@wanadoo.fr>
Thu, 4 Jul 2019 23:51:49 +0000 (01:51 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Thu, 4 Jul 2019 23:51:49 +0000 (01:51 +0200)
.travis.yml

index 00aaa26b36ac904ca5869f6511475b963ec87d90..766b42c89a3b41b1ee2a3f95df111182077f988d 100644 (file)
@@ -67,7 +67,7 @@ before_script:
 script:
   - if [ $(uname) = "Linux" ] || [ $(uname) = "Darwin" ]; then
       if [ $TRAVIS_JOB_NUMBER = ${TRAVIS_BUILD_NUMBER}.1  ];
-      then USE_COVERAGE=1 make && make test;
+      then cd util && make && cd ../ast && make && cd .. && USE_COVERAGE=1 make && make test;
       else make && make test;
       fi
     else {