mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
Use Cargo's target directory sharing.
This speeds up `./mach build --dev` followed by `./mach build-cef` by a large amount, and also speeds up other build combos found in our CI.
This commit is contained in:
parent
ce30807be5
commit
a0237085c6
14 changed files with 31 additions and 30 deletions
|
@ -10,7 +10,7 @@ cd "$(dirname $0)/../.."
|
|||
|
||||
./mach doc
|
||||
# etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
|
||||
cp etc/doc.servo.org/* components/servo/target/doc/
|
||||
cp etc/doc.servo.org/* target/doc/
|
||||
|
||||
ghp-import -n components/servo/target/doc
|
||||
ghp-import -n target/doc
|
||||
git push -qf https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue