diff --git a/old-configure.in b/old-configure.in index 7620162cba..bf6767ec98 100644 --- a/old-configure.in +++ b/old-configure.in @@ -4651,10 +4651,10 @@ AC_SUBST(MOZ_DEVTOOLS_SERVER) dnl ======================================================== dnl = Disable Mozilla Developer Tools (client) dnl ======================================================== -MOZ_ARG_DISABLE_BOOL(devtools, -[ --disable-devtools Disable Mozilla Developer Tools (client)], - MOZ_DEVTOOLS=, - MOZ_DEVTOOLS=1) +MOZ_ARG_ENABLE_BOOL(devtools, +[ --enable-devtools Enable Mozilla Developer Tools (client)], + MOZ_DEVTOOLS=1, + MOZ_DEVTOOLS=) if test -n "$MOZ_DEVTOOLS"; then if test ! -n "$MOZ_DEVTOOLS_SERVER"; then