diff options
| author | Matt A. Tobin <email@mattatobin.com> | 2018-02-24 09:49:34 -0500 |
|---|---|---|
| committer | Matt A. Tobin <email@mattatobin.com> | 2018-02-24 09:49:34 -0500 |
| commit | 7a6e7ed0f5b0e908d61347ad9fa166ffeea1d349 (patch) | |
| tree | f6aebd468bbcf37bf5656ff6217006e872ac5120 /old-configure.in | |
| parent | dc7ceccf8bc0950e4daa5f0e7736d4c204526fc0 (diff) | |
| download | uxp-7a6e7ed0f5b0e908d61347ad9fa166ffeea1d349.tar.gz | |
Developer Tools client should be a disable bool in ac configure
Diffstat (limited to 'old-configure.in')
| -rw-r--r-- | old-configure.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/old-configure.in b/old-configure.in index 17e1a4eca7..203a12bea0 100644 --- a/old-configure.in +++ b/old-configure.in @@ -4750,12 +4750,12 @@ fi AC_SUBST(MOZ_DEVTOOLS_SERVER) dnl ======================================================== -dnl = Enable Mozilla Developer Tools (client) +dnl = Disable Mozilla Developer Tools (client) dnl ======================================================== -MOZ_ARG_ENABLE_BOOL(devtools, -[ --enable-devtools Enable Mozilla Developer Tools (client)], - MOZ_DEVTOOLS=1, - MOZ_DEVTOOLS=) +MOZ_ARG_DISABLE_BOOL(devtools, +[ --disable-devtools Disable Mozilla Developer Tools (client)], + MOZ_DEVTOOLS=, + MOZ_DEVTOOLS=1) if test -n "$MOZ_DEVTOOLS"; then if test ! -n "$MOZ_DEVTOOLS_SERVER"; then |