2016-07-14 19:16:42 +03:00
|
|
|
# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
|
2013-02-26 00:47:18 +04:00
|
|
|
# vim: set filetype=python:
|
|
|
|
# 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/.
|
|
|
|
|
2015-09-21 20:04:18 +03:00
|
|
|
include('../templates.mozbuild')
|
|
|
|
|
2013-02-26 00:47:18 +04:00
|
|
|
DIRS += [
|
2015-11-25 18:54:26 +03:00
|
|
|
'aboutdebugging',
|
2018-03-28 18:40:49 +03:00
|
|
|
'accessibility',
|
2018-03-14 23:21:02 +03:00
|
|
|
'application',
|
2014-03-29 21:01:37 +04:00
|
|
|
'canvasdebugger',
|
2013-09-10 00:33:25 +04:00
|
|
|
'commandline',
|
|
|
|
'debugger',
|
2016-02-10 01:23:29 +03:00
|
|
|
'dom',
|
2013-09-10 00:33:25 +04:00
|
|
|
'framework',
|
2013-02-26 00:47:18 +04:00
|
|
|
'inspector',
|
2015-09-28 14:33:20 +03:00
|
|
|
'jsonview',
|
2015-11-05 00:35:53 +03:00
|
|
|
'locales',
|
2015-09-03 00:46:26 +03:00
|
|
|
'memory',
|
2013-09-10 00:33:25 +04:00
|
|
|
'netmonitor',
|
2015-03-31 18:28:43 +03:00
|
|
|
'performance',
|
2017-11-08 19:36:43 +03:00
|
|
|
'performance-new',
|
2017-07-27 19:16:52 +03:00
|
|
|
'preferences',
|
2016-01-05 10:33:31 +03:00
|
|
|
'responsive.html',
|
2013-09-10 00:33:25 +04:00
|
|
|
'scratchpad',
|
|
|
|
'shadereditor',
|
|
|
|
'shared',
|
2013-02-26 00:47:18 +04:00
|
|
|
'sourceeditor',
|
2014-08-29 20:32:49 +04:00
|
|
|
'storage',
|
2013-02-26 00:47:18 +04:00
|
|
|
'styleeditor',
|
2015-10-16 13:44:47 +03:00
|
|
|
'themes',
|
2014-03-27 02:28:24 +04:00
|
|
|
'webaudioeditor',
|
2013-09-10 00:33:25 +04:00
|
|
|
'webconsole',
|
2014-06-12 10:47:35 +04:00
|
|
|
'webide',
|
2013-02-26 00:47:18 +04:00
|
|
|
]
|
2013-09-23 14:43:37 +04:00
|
|
|
|
2014-03-27 02:28:24 +04:00
|
|
|
JAR_MANIFESTS += ['jar.mn']
|
2014-07-25 17:38:15 +04:00
|
|
|
|
2015-09-21 20:04:18 +03:00
|
|
|
DevToolsModules(
|
2015-04-23 12:24:49 +03:00
|
|
|
'definitions.js',
|
2016-04-01 15:49:00 +03:00
|
|
|
'menus.js',
|
2015-09-21 20:04:18 +03:00
|
|
|
)
|
2017-01-13 16:40:35 +03:00
|
|
|
|
2017-06-07 23:30:50 +03:00
|
|
|
with Files('**'):
|
2018-06-20 21:34:40 +03:00
|
|
|
BUG_COMPONENT = ('DevTools', 'General')
|