diff options
Diffstat (limited to 'src/scripts/ci')
| -rwxr-xr-x | src/scripts/ci/travis/main.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/scripts/ci/travis/main.sh b/src/scripts/ci/travis/main.sh index ed6f56063..2f883af06 100755 --- a/src/scripts/ci/travis/main.sh +++ b/src/scripts/ci/travis/main.sh @@ -7,5 +7,6 @@ PARENT_DIR=$(dirname "$0") if [ "$BUILD_MODE" = "lint" ]; then "$PARENT_DIR"/lint.sh else - "$PARENT_DIR"/build.sh + + ./src/scripts/ci_build.py --build-jobs=2 --with-ccache --os=$TRAVIS_OS_NAME --cc=$CC --cc-bin=$CXX $BUILD_MODE fi |