diff options
| author | Jack Lloyd <[email protected]> | 2018-04-19 22:05:24 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-04-19 22:05:24 -0400 |
| commit | fd039ca6fed04c4c04477a80dcea484bb0425c75 (patch) | |
| tree | 6cea5931b39f19c8c14837e8550361cb0c5aec3d /src/scripts | |
| parent | e7989a60634dce80124e9a4fa4f3c77c6cea2bbb (diff) | |
Reorder Travis builds [ci skip]
I guess Travis has changed how they sort builds, previously compiler
took precedence but now the BUILD_MODE env variable does. Anyway
the result is Sonar build runs later than before, which adds several
minutes to the overall build time. Put it near the top so it starts
early and can run concurrently with other builds.
Diffstat (limited to 'src/scripts')
| -rw-r--r-- | src/scripts/ci/travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis.yml b/src/scripts/ci/travis.yml index 499f22286..17f750c66 100644 --- a/src/scripts/ci/travis.yml +++ b/src/scripts/ci/travis.yml @@ -19,6 +19,7 @@ env: matrix: - BUILD_MODE="shared" + - BUILD_MODE="sonar" - BUILD_MODE="fuzzers" - BUILD_MODE="coverage" - BUILD_MODE="cross-ppc32" @@ -27,7 +28,6 @@ env: - BUILD_MODE="cross-arm64" - BUILD_MODE="cross-win32" - BUILD_MODE="valgrind" - - BUILD_MODE="sonar" - BUILD_MODE="static" - BUILD_MODE="mini-shared" - BUILD_MODE="bsi" |