summaryrefslogtreecommitdiff
path: root/old-configure.in
diff options
context:
space:
mode:
authorMatt A. Tobin <email@mattatobin.com>2018-02-24 09:49:34 -0500
committerMatt A. Tobin <email@mattatobin.com>2018-02-24 09:49:34 -0500
commit7a6e7ed0f5b0e908d61347ad9fa166ffeea1d349 (patch)
treef6aebd468bbcf37bf5656ff6217006e872ac5120 /old-configure.in
parentdc7ceccf8bc0950e4daa5f0e7736d4c204526fc0 (diff)
downloaduxp-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.in10
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