mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-06 00:55:37 +00:00
978cb5107a
A new configure option --with-devtools (which sets MOZ_DEVTOOLS) is added to control whether all DevTools, just the server, or no DevTools are included. This defaults to just the server. Applications should also include /devtools within their moz.build tree, so that DIST_SUBDIR is in effect for all DevTools files if it is used by the app.
17 lines
412 B
Python
17 lines
412 B
Python
# 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/.
|
|
|
|
|
|
include('/toolkit/toolkit.mozbuild')
|
|
|
|
if CONFIG['MOZ_EXTENSIONS']:
|
|
DIRS += ['/extensions']
|
|
|
|
DIRS += [
|
|
'/%s' % CONFIG['MOZ_BRANDING_DIRECTORY'],
|
|
'/b2g',
|
|
'/devtools',
|
|
]
|