diff options
| author | Matt A. Tobin <email@mattatobin.com> | 2018-02-17 14:09:31 -0500 |
|---|---|---|
| committer | Matt A. Tobin <email@mattatobin.com> | 2018-02-17 14:09:31 -0500 |
| commit | a28cfab3011384fc0f65e9960fa1904961cdf99e (patch) | |
| tree | 5b05a1773a34812c5dcbcb257a245fd189518c5a /devtools | |
| parent | 394dba1a5315c925c1d8562cfd5872daf8ecb549 (diff) | |
| download | uxp-a28cfab3011384fc0f65e9960fa1904961cdf99e.tar.gz | |
Split MOZ_DEVTOOLS into MOZ_DEVTOOLS (client) and MOZ_DEVTOOLS_SERVER (backend) and make both optional
Diffstat (limited to 'devtools')
| -rw-r--r-- | devtools/moz.build | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/devtools/moz.build b/devtools/moz.build index 79787d019e..8e368facbb 100644 --- a/devtools/moz.build +++ b/devtools/moz.build @@ -4,13 +4,9 @@ # 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/. -if CONFIG['MOZ_DEVTOOLS'] and CONFIG['MOZ_DEVTOOLS'] not in ('all', 'server'): - error('Unsupported MOZ_DEVTOOLS value: %s' % (CONFIG['MOZ_DEVTOOLS'])) +if CONFIG['MOZ_DEVTOOLS']: + DIRS += ['client'] -if CONFIG['MOZ_DEVTOOLS'] == 'all': - DIRS += [ - 'client', - ] DIRS += [ 'server', |