mirror of
https://repo.dactyloidae.xyz/Dactyloidae/UXP.git
synced 2026-10-30 02:57:29 +09:00
Issue #316 - Make sure MOZ_DEVTOOLS_SERVER is passed down to js.
This commit is contained in:
parent
ca23a636cf
commit
beed2a817e
1 changed files with 15 additions and 0 deletions
|
|
@ -440,6 +440,7 @@ LIB_SUFFIX=a
|
||||||
IMPORT_LIB_SUFFIX=
|
IMPORT_LIB_SUFFIX=
|
||||||
DIRENT_INO=d_ino
|
DIRENT_INO=d_ino
|
||||||
MOZ_USER_DIR=".mozilla"
|
MOZ_USER_DIR=".mozilla"
|
||||||
|
MOZ_DEVTOOLS_SERVER=1
|
||||||
|
|
||||||
MOZ_FIX_LINK_PATHS="-Wl,-rpath-link,${DIST}/bin -Wl,-rpath-link,${prefix}/lib"
|
MOZ_FIX_LINK_PATHS="-Wl,-rpath-link,${DIST}/bin -Wl,-rpath-link,${prefix}/lib"
|
||||||
|
|
||||||
|
|
@ -1915,6 +1916,20 @@ dnl =
|
||||||
dnl ========================================================
|
dnl ========================================================
|
||||||
MOZ_ARG_HEADER(Misc. Options)
|
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
|
if test -z "$SKIP_COMPILER_CHECKS"; then
|
||||||
dnl ========================================================
|
dnl ========================================================
|
||||||
dnl =
|
dnl =
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue