diff options
author | Bastien Orivel <eijebong@bananium.fr> | 2019-05-15 23:03:25 +0200 |
---|---|---|
committer | Bastien Orivel <eijebong@bananium.fr> | 2019-05-15 23:03:25 +0200 |
commit | 13c632e739c030243bf7295b54597657be17ef79 (patch) | |
tree | 643f1de1654cb9ba4fd252a7bb9b145882181116 /components/script_plugins/lib.rs | |
parent | 965f57e3f8011dd7bdc61b438f95eeb87748319d (diff) | |
download | servo-13c632e739c030243bf7295b54597657be17ef79.tar.gz servo-13c632e739c030243bf7295b54597657be17ef79.zip |
Switch from webidl to weedle in script_plugins
This removes the dependency on lalrpop and should speed up compilation
quite a bit.
Diffstat (limited to 'components/script_plugins/lib.rs')
-rw-r--r-- | components/script_plugins/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script_plugins/lib.rs b/components/script_plugins/lib.rs index 7d0460bf5a1..a696c456d8d 100644 --- a/components/script_plugins/lib.rs +++ b/components/script_plugins/lib.rs @@ -25,7 +25,7 @@ extern crate rustc; extern crate rustc_plugin; extern crate syntax; -extern crate webidl; +extern crate weedle; use rustc_plugin::Registry; use syntax::feature_gate::AttributeType::Whitelisted; |