author J. Ryan Stinnett <jryans@gmail.com>
Tue, 06 Oct 2015 18:01:24 -0500
changeset 302455 3f174efd3a89d9a5ed1127f272d778afa1d1c1c3
parent 300691 0dba8a2a8679479c72c07931f3762288d72fccc0
child 302911 7060ded3194d6d0b17949edc3e76d93e013497aa
permissions -rw-r--r--
Bug 1203159 - Update each product's DevTools inclusion. r=glandium 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.

# 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/.


    DIRS += ['/extensions']

DIRS += [