mirror of
https://github.com/servo/servo.git
synced 2025-06-08 16:43:28 +00:00
4930479ac8
Upstream doesn't allow downloading .tar.gz archives so update.sh was changed to use unzip.
12 lines
405 B
Bash
Executable file
12 lines
405 B
Bash
Executable file
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 < callback-location.patch
|
|
patch < union-typedef.patch
|
|
patch < inline.patch
|
|
|
|
wget https://hg.mozilla.org/mozilla-central/archive/tip.zip/dom/bindings/parser/tests/ -O tests.zip
|
|
rm -r tests
|
|
mkdir tests
|
|
unzip -d tests -j tests.zip
|
|
rm tests.zip WebIDL.py.orig
|