diff options
| author | wolfbeast <mcwerewolf@gmail.com> | 2018-08-05 11:35:53 +0200 |
|---|---|---|
| committer | wolfbeast <mcwerewolf@gmail.com> | 2018-08-05 11:35:53 +0200 |
| commit | 6bd66b1728eeddb058066edda740aaeb2ceaec23 (patch) | |
| tree | 985faf01c526763515731569fa01a99f4dbef36e /old-configure.in | |
| parent | e0a8dcfed131ffa58a5e2cb1d30fe48c745c2fdc (diff) | |
| parent | 559824514dc95e02fbe81f1786e6ac13ee8e9d55 (diff) | |
| download | UXP-6bd66b1728eeddb058066edda740aaeb2ceaec23.tar UXP-6bd66b1728eeddb058066edda740aaeb2ceaec23.tar.gz UXP-6bd66b1728eeddb058066edda740aaeb2ceaec23.tar.lz UXP-6bd66b1728eeddb058066edda740aaeb2ceaec23.tar.xz UXP-6bd66b1728eeddb058066edda740aaeb2ceaec23.zip | |
Merge branch 'master' into js-modules
Diffstat (limited to 'old-configure.in')
| -rw-r--r-- | old-configure.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/old-configure.in b/old-configure.in index a95b307f2..d40305309 100644 --- a/old-configure.in +++ b/old-configure.in @@ -4568,10 +4568,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 |