diff options
Diffstat (limited to 'travis.linux.script.sh')
-rwxr-xr-x | travis.linux.script.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/travis.linux.script.sh b/travis.linux.script.sh deleted file mode 100755 index f4c2fb21c28..00000000000 --- a/travis.linux.script.sh +++ /dev/null @@ -1,27 +0,0 @@ -set -e -export DISPLAY=:1.0 -export RUST_TEST_TASKS=1 -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 - - 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 -qf https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages - fi -;; -*) echo "Task $1 not enabled for Linux" -esac |