mirror of
https://github.com/servo/servo.git
synced 2025-10-04 02:29:12 +01:00
f24af67207
... rather than being the Rust documentation index. The order of `cp` command determines which `target/doc/index.html` file overwrites the other.
54 lines
1.4 KiB
Bash
Executable file
54 lines
1.4 KiB
Bash
Executable file
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
IFS="," read -ra tasks <<< "${TASKS}"
|
|
for t in "${tasks[@]}"; do
|
|
# OS specific setup
|
|
case ${TRAVIS_OS_NAME} in
|
|
linux)
|
|
export DISPLAY=:1.0
|
|
export RUST_TEST_TASKS=1
|
|
;;
|
|
osx)
|
|
;;
|
|
esac
|
|
|
|
case $t in
|
|
build)
|
|
./mach build -j 2
|
|
;;
|
|
build-cef)
|
|
./mach build-cef -j 2
|
|
;;
|
|
test-content)
|
|
./mach test-content
|
|
;;
|
|
test-ref)
|
|
./mach test-ref --kind cpu
|
|
;;
|
|
test-wpt1)
|
|
./mach test-wpt --processes=2 --total-chunks=2 --this-chunk=1
|
|
;;
|
|
test-wpt1)
|
|
./mach test-wpt --processes=2 --total-chunks=2 --this-chunk=2
|
|
;;
|
|
push-doc)
|
|
if [ "${TRAVIS_BRANCH}" = "master" ] && [ "${TRAVIS_PULL_REQUEST}" = "false" ]
|
|
then
|
|
mkdir -p target/doc
|
|
cp -R rust/doc/* target/doc/
|
|
cp etc/doc.servo.org/* target/doc/
|
|
./mach doc # After copying rust/doc, so that the crate index is correct.
|
|
sudo pip install ghp-import
|
|
ghp-import -n target/doc
|
|
git push -qf https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
|
|
else
|
|
echo Skipping rustdoc
|
|
fi
|
|
;;
|
|
*)
|
|
echo "Task $t not recognized."
|
|
;;
|
|
esac
|
|
done
|