Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

webidl: Update the update script now mxr is gone.

Browse source
This commit is contained in:
Emilio Cobos Álvarez 2016-07-12 13:57:42 -07:00
parent 7492546095
commit b5c9e8a58e
No known key found for this signature in database
GPG key ID: 056B727BB9C1027C
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script/dom/bindings/codegen/parser/update.sh
View file

@ -1,4 +1,4 @@
wget https://mxr.mozilla.org/mozilla-central/source/dom/bindings/parser/WebIDL.py?raw=1 -O WebIDL.py
wget https://hg.mozilla.org/mozilla-central/raw-file/tip/dom/bindings/parser/WebIDL.py -O WebIDL.py
patch < abstract.patch
patch < debug.patch
patch < pref-main-thread.patch