diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/travis_script.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/travis_script.sh b/scripts/travis_script.sh index f3da798423..562d6fad20 100755 --- a/scripts/travis_script.sh +++ b/scripts/travis_script.sh @@ -10,8 +10,10 @@ if [[ ${TRAVIS_OS_NAME} == "linux" ]]; then # # build & test Linux # - mapbox_time "compile_program" \ - make android -j$JOBS BUILDTYPE=${BUILDTYPE} + if [[ $MASON_PLATFORM == "android" ]]; then + mapbox_time "compile_program" \ + make android -j$JOBS BUILDTYPE=${BUILDTYPE} + fi mapbox_time "compile_tests" \ make test -j$JOBS BUILDTYPE=${BUILDTYPE} |