diff options
| author | wolfbeast <mcwerewolf@wolfbeast.com> | 2020-02-21 01:19:16 +0100 |
|---|---|---|
| committer | wolfbeast <mcwerewolf@wolfbeast.com> | 2020-04-14 12:49:36 +0200 |
| commit | 2794f0c48c32a2daeb654f814ee6790aac2d0dfc (patch) | |
| tree | e1dcf1c1c6dacccddd2de617e894d6200a4ff473 /js/src/old-configure.in | |
| parent | 2f23073a3a4d00f0f46849045aad41913f977b5a (diff) | |
| download | UXP-2794f0c48c32a2daeb654f814ee6790aac2d0dfc.tar UXP-2794f0c48c32a2daeb654f814ee6790aac2d0dfc.tar.gz UXP-2794f0c48c32a2daeb654f814ee6790aac2d0dfc.tar.lz UXP-2794f0c48c32a2daeb654f814ee6790aac2d0dfc.tar.xz UXP-2794f0c48c32a2daeb654f814ee6790aac2d0dfc.zip | |
Issue #316 - Make sure MOZ_DEVTOOLS_SERVER is passed down to js.
Diffstat (limited to 'js/src/old-configure.in')
| -rw-r--r-- | js/src/old-configure.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/js/src/old-configure.in b/js/src/old-configure.in index 856d7aeb4..dc3d7da04 100644 --- a/js/src/old-configure.in +++ b/js/src/old-configure.in @@ -435,6 +435,7 @@ LIB_SUFFIX=a IMPORT_LIB_SUFFIX= DIRENT_INO=d_ino MOZ_USER_DIR=".mozilla" +MOZ_DEVTOOLS_SERVER=1 MOZ_FIX_LINK_PATHS="-Wl,-rpath-link,${DIST}/bin -Wl,-rpath-link,${prefix}/lib" @@ -1905,6 +1906,20 @@ dnl = dnl ======================================================== MOZ_ARG_HEADER(Misc. Options) +dnl ======================================================== +dnl = Disable Mozilla Developer Tools (server) +dnl ======================================================== +MOZ_ARG_DISABLE_BOOL(devtools-server, +[ --disable-devtools-server Disable Mozilla Developer Tools (server)], + MOZ_DEVTOOLS_SERVER=, + MOZ_DEVTOOLS_SERVER=1) + +if test -n "$MOZ_DEVTOOLS_SERVER"; then + AC_DEFINE(MOZ_DEVTOOLS_SERVER) +fi + +AC_SUBST(MOZ_DEVTOOLS_SERVER) + if test -z "$SKIP_COMPILER_CHECKS"; then dnl ======================================================== dnl = |