Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #23405 - Eijebong:weedle, r=jdm

Browse source 
Switch from webidl to weedle in script_plugins

This removes the dependency on lalrpop and should speed up compilation
quite a bit.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23405)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-05-20 21:13:33 -04:00 • committed by GitHub
commit 6fb7a8cdc7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 29 additions and 149 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script_plugins/lib.rs
View file

@ -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;