diff options
Diffstat (limited to 'third_party/WebIDL/update.sh')
| -rwxr-xr-x | third_party/WebIDL/update.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/WebIDL/update.sh b/third_party/WebIDL/update.sh index 6db5de807f2..949644405d2 100755 --- a/third_party/WebIDL/update.sh +++ b/third_party/WebIDL/update.sh @@ -6,6 +6,7 @@ patch < union-typedef.patch patch < inline.patch patch < like-as-iterable.patch patch < builtin-array.patch +patch < array-type.patch wget https://hg.mozilla.org/mozilla-central/archive/tip.zip/dom/bindings/parser/tests/ -O tests.zip rm -r tests |