Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-01 02:28:21 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fixes #3353: rust snapshot downloads to home directory

Browse source
This commit is contained in:
Anthony Miyaguchi 2014-09-17 01:55:53 -07:00 • committed by Matt Brubeck
parent b27ec2b223
commit 75b340a243
3 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/travis.script.sh
View file

@ -37,7 +37,7 @@ for t in "${tasks[@]}"; do
if [ "${TRAVIS_BRANCH}" = "master" ] && [ "${TRAVIS_PULL_REQUEST}" = "false" ]
then
mkdir -p target/doc
cp -R rust/doc/* target/doc/
cp -R ~/.servo/rust/$(cat rust-snapshot-hash)*/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