mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-27 20:25:44 +00:00
d5fb86f134
DevTools :: Remote Agent was removed in favour of a new product, Remote Protocol. This corrects the file metadata mapping for the agent. The patch also adds mapping for new domains. Not all of the components exist yet, but this is tracked separately in https://bugzilla.mozilla.org/show_bug.cgi?id=1534970. Differential Revision: https://phabricator.services.mozilla.com/D23306 --HG-- extra : moz-landing-system : lando
44 lines
1.3 KiB
Plaintext
44 lines
1.3 KiB
Plaintext
# This Source Code Form is subject to the terms of the Mozilla Public
|
|
# License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
DIRS += [
|
|
"pref",
|
|
"test",
|
|
]
|
|
|
|
EXTRA_COMPONENTS += [
|
|
"RemoteAgent.js",
|
|
"RemoteAgent.manifest",
|
|
]
|
|
|
|
JAR_MANIFESTS += ["jar.mn"]
|
|
|
|
with Files("**"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Agent")
|
|
with Files("targets/**"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Target")
|
|
with Files("domains/**/Emulation.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Emulation")
|
|
with Files("domains/**/Log.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Log")
|
|
with Files("domains/**/Network.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Network")
|
|
with Files("domains/**/Page.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Page")
|
|
with Files("domains/**/Performance.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Performance")
|
|
with Files("domains/**/Runtime.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Runtime")
|
|
with Files("domains/**/Security.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Security")
|
|
with Files("domains/**/Browser.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Browser")
|
|
with Files("domains/**/Target.jsm"):
|
|
BUG_COMPONENT = ("Remote Protocol", "Target")
|
|
|
|
with Files("doc/**"):
|
|
SCHEDULES.exclusive = ["docs"]
|
|
|
|
SPHINX_TREES["/remote"] = "doc"
|