mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Make devtools depend on plugins.
This commit is contained in:
parent
1257a33394
commit
0decdaaf99
5 changed files with 7 additions and 0 deletions
|
@ -20,6 +20,9 @@ path = "../msg"
|
|||
[dependencies.util]
|
||||
path = "../util"
|
||||
|
||||
[dependencies.plugins]
|
||||
path = "../plugins"
|
||||
|
||||
[dependencies.ipc-channel]
|
||||
git = "https://github.com/pcwalton/ipc-channel"
|
||||
|
||||
|
|
|
@ -14,6 +14,7 @@
|
|||
#![feature(custom_derive)]
|
||||
#![feature(plugin)]
|
||||
#![plugin(serde_macros)]
|
||||
#![plugin(plugins)]
|
||||
|
||||
#![allow(non_snake_case)]
|
||||
#![deny(unsafe_code)]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue