mirror of
https://github.com/servo/servo.git
synced 2025-09-03 19:48:21 +01:00
Upgrade rustc to d3c49d2140fc65e8bb7d7cf25bfe74dda6ce5ecf/rustc-1.0.0-dev.
This commit is contained in:
parent
65d4b12bf2
commit
5f15eb5fbf
140 changed files with 1420 additions and 1222 deletions
|
@ -9,6 +9,8 @@ binary_dir=$wpt_root/../../components/servo/target
|
|||
if [[ $1 == "--release" ]]; then
|
||||
binary_dir=$binary_dir/release
|
||||
shift
|
||||
else
|
||||
binary_dir=$binary_dir/debug
|
||||
fi
|
||||
|
||||
PYTHON=$(which python2 2> /dev/null || echo python)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue