Developer Tools client should be a disable bool in ac configure

This commit is contained in:
NTD 2018-02-24 09:49:34 -05:00 • committed by Roy Tam
commit b6d9890c74
2 changed files with 6 additions and 12 deletions

View file

@ -56,14 +56,8 @@ MOZ_JSDOWNLOADS=1
MOZ_RUST_MP4PARSE=1 MOZ_RUST_MP4PARSE=1
MOZ_RUST_URLPARSE=1 MOZ_RUST_URLPARSE=1
MOZ_WEBEXTENSIONS=1 MOZ_WEBEXTENSIONS=1
MOZ_DEVTOOLS=1
# Disable checking that add-ons are signed by the trusted root # Disable checking that add-ons are signed by the trusted root
MOZ_ADDON_SIGNING=0 MOZ_ADDON_SIGNING=0
MOZ_REQUIRE_SIGNING=0 MOZ_REQUIRE_SIGNING=0
# Include the DevTools client, not just the server (which is the default)
if test -n "$BASILISK_DISABLE_DEVTOOLS" ; then
MOZ_DEVTOOLS=
else
MOZ_DEVTOOLS=1
fi

View file

@ -4862,12 +4862,12 @@ fi
AC_SUBST(MOZ_DEVTOOLS_SERVER) AC_SUBST(MOZ_DEVTOOLS_SERVER)
dnl ======================================================== dnl ========================================================
dnl = Enable Mozilla Developer Tools (client) dnl = Disable Mozilla Developer Tools (client)
dnl ======================================================== dnl ========================================================
MOZ_ARG_ENABLE_BOOL(devtools, MOZ_ARG_DISABLE_BOOL(devtools,
[ --enable-devtools Enable Mozilla Developer Tools (client)], [ --disable-devtools Disable Mozilla Developer Tools (client)],
MOZ_DEVTOOLS=1, MOZ_DEVTOOLS=,
MOZ_DEVTOOLS=) MOZ_DEVTOOLS=1)
if test -n "$MOZ_DEVTOOLS"; then if test -n "$MOZ_DEVTOOLS"; then
if test ! -n "$MOZ_DEVTOOLS_SERVER"; then if test ! -n "$MOZ_DEVTOOLS_SERVER"; then