diff options
| author | Jack Lloyd <[email protected]> | 2017-08-25 21:45:05 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-08-29 07:35:43 -0400 |
| commit | 5599bd3dbd41dd233a8b5d0c7d61fe945b0973f1 (patch) | |
| tree | 9765e4157a4520ede34ab41f5752a4fb313e9915 /src/scripts/ci | |
| parent | fac0907796d6f58f360c4f4c11bf0a710f35a832 (diff) | |
CI build using Python script to orchestrate
Slightly incomplete
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 |