mirror of
https://github.com/servo/servo.git
synced 2025-08-04 21:20:23 +01:00
Can collect webidl paths.
This commit is contained in:
parent
328244684a
commit
dfca8ec913
5 changed files with 144 additions and 1 deletions
|
@ -17,7 +17,8 @@ debugmozjs = ['js/debugmozjs']
|
|||
profilemozjs = ['js/profilemozjs']
|
||||
unstable = []
|
||||
unrooted_must_root_lint = ["script_plugins/unrooted_must_root_lint"]
|
||||
default = ["unrooted_must_root_lint"]
|
||||
webidl_lint = ["script_plugins/webidl_lint"]
|
||||
default = ["unrooted_must_root_lint", "webidl_lint"]
|
||||
webgl_backtrace = ["backtrace", "canvas_traits/webgl_backtrace"]
|
||||
js_backtrace = ["backtrace"]
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue