From 5e21bf1d544f8d15e73cf7cb4ca793addd4bc38d Mon Sep 17 00:00:00 2001
From: wolfbeast <mcwerewolf@wolfbeast.com>
Date: Fri, 21 Feb 2020 01:19:16 +0100
Subject: Issue #316 - Make sure MOZ_DEVTOOLS_SERVER is passed down to js.

---
 js/src/old-configure.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'js/src')

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 =
-- 
cgit v1.2.3