diff options
Diffstat (limited to 'travis.linux.script.sh')
| -rwxr-xr-x | travis.linux.script.sh | 39 |
1 files changed, 22 insertions, 17 deletions
diff --git a/travis.linux.script.sh b/travis.linux.script.sh index a05e754a232..c6cb2ff8a53 100755 --- a/travis.linux.script.sh +++ b/travis.linux.script.sh @@ -1,22 +1,27 @@ set -e -cd build -../configure export DISPLAY=:1.0 export RUST_TEST_TASKS=1 -make tidy -make -j2 -make check-servo -make check-content -make check-ref-cpu +case $1 in +content) + make check-content +;; +ref) + make check-ref-cpu +;; +unit-doc) + make check-servo -mv x86_64-unknown-linux-gnu/rust_snapshot/rust-*/doc . -cp ../src/etc/doc.servo.org/* doc -make doc + mv x86_64-unknown-linux-gnu/rust_snapshot/rust-*/doc . + cp ../src/etc/doc.servo.org/* doc + make doc -if [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] -then - echo '<meta http-equiv=refresh content=0;url=servo/index.html>' > doc/index.html - sudo pip install ghp-import - ghp-import -n doc - git push -fq https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages -fi + if [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] + then + echo '<meta http-equiv=refresh content=0;url=servo/index.html>' > doc/index.html + sudo pip install ghp-import + ghp-import -n doc + git push -fq https://${TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages + fi +;; +*) echo "Task $1 not enabled for Linux" +esac |