summaryrefslogtreecommitdiffstats
path: root/js/src/old-configure.in
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/old-configure.in')
-rw-r--r--js/src/old-configure.in15
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 =