KotJohansson/UXP-Fixed
1
0
Fork 0
mirror of https://github.com/ManchildProductions/UXP-Fixed.git synced 2026-07-21 03:48:43 +00:00
Code Issues Projects Releases Wiki Activity

Issue #316 - Make sure MOZ_DEVTOOLS_SERVER is passed down to js.

Browse Source
This commit is contained in:
wolfbeast
2020-02-21 01:19:16 +01:00
parent 2f23073a3a
commit 2794f0c48c
1 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
js/src/old-configure.in
+15
View File
@@ -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 =