diff --git a/.travis.yml b/.travis.yml index 445aa12d35..621c6953e3 100644 --- a/.travis.yml +++ b/.travis.yml @@ -284,7 +284,7 @@ after_script: ctest -D ExperimentalSubmit; fi - if [[ $LEANREPO == BLESSED && $PACKAGE == TRUE ]]; then - ninja package; + make package; fi - cd .. - if [[ $LEANREPO == BLESSED && $BUILD_DOXYGEN == TRUE ]]; then