mirror of
https://github.com/servo/servo.git
synced 2025-06-11 18:10:11 +00:00
27 lines
614 B
Bash
Executable file
27 lines
614 B
Bash
Executable file
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
|