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 | 9dcf77e4c67b159040f1f07aca9a8cad8008a914 (patch) | |
| tree | 5b05a1773a34812c5dcbcb257a245fd189518c5a /devtools/moz.build | |
| parent | f28984b853667da9f9841e9fa090162e4a3af499 (diff) | |
| download | uxp-9dcf77e4c67b159040f1f07aca9a8cad8008a914.tar.gz | |
Split MOZ_DEVTOOLS into MOZ_DEVTOOLS (client) and MOZ_DEVTOOLS_SERVER (backend) and make both optional
Diffstat (limited to 'devtools/moz.build')
| -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', |