Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Add a 'mach rust-root' command.

Browse source
This commit is contained in:
Simon Sapin 2014-09-26 15:32:01 +01:00
parent 3996a15adb
commit 516b608a2f
2 changed files with 12 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
etc/ci/upload_docs.sh
View file

@ -8,9 +8,12 @@ set -e
mkdir -p target/doc
./mach bootstrap-rust
cp -R rust/doc/* target/doc/
# Ordered so that:
# * etc/doc.servo.org/index.html overwrites $(mach rust-root)/doc/index.html
# * ./mach doc overwrites $(mach rust-root)/doc/search-index.js
cp -R $(./mach rust-root)/doc/* target/doc/
cp etc/doc.servo.org/* target/doc/
./mach doc # After copying rust/doc, so that the crate index is correct
./mach doc
ghp-import -n target/doc
git push -qf https://${TOKEN}@github.com/servo/doc.servo.org.git gh-pages

6
python/servo/devenv_commands.py
View file

@ -33,3 +33,9 @@ class MachCommands(CommandBase):
help="Command-line arguments to be passed through to rustc")
def rustc(self, params):
return subprocess.call(["rustc"] + params, env=self.build_env())
@Command('rust-root',
description='Print the path to the root of the Rust compiler',
category='devenv')
def rust_root(self):
print(self.config["tools"]["rust-root"])