author J. Ryan Stinnett <>
Fri, 16 Oct 2015 00:38:43 -0500
changeset 301213 34fb2f92a8ce1614ceeeca51d438e8248476f29d
parent 160924 9872d86dfa0c8ee5220181dd5075a07b50d6d00c
child 387694 d4aea6d5d2f8271d272969832603fc86e982f5f2
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 tree, so that DIST_SUBDIR is in effect for all DevTools files if it is used by the app.

# -*- Mode: python; c-basic-offset: 4; indent-tabs-mode: nil; tab-width: 40 -*-
# 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