diff options
Diffstat (limited to 'old-configure.in')
| -rw-r--r-- | old-configure.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/old-configure.in b/old-configure.in index 045257cd8..0b78f2b23 100644 --- a/old-configure.in +++ b/old-configure.in @@ -2315,6 +2315,7 @@ MOZ_GMP_SANDBOX= MOZ_SANDBOX=1 MOZ_BINARY_EXTENSIONS= MOZ_DEVTOOLS=server +MOZ_JETPACK=1 case "$target_os" in mingw*) @@ -4792,6 +4793,20 @@ dnl ======================================================== MOZ_ARG_HEADER(Misc. Options) dnl ======================================================== +dnl = Disable Jetpack +dnl ======================================================== +MOZ_ARG_DISABLE_BOOL(jetpack, +[ --disable-jetpack Disable Jetpack Support Code], + MOZ_JETPACK=, + MOZ_JETPACK=1) + +if test -n "$MOZ_JETPACK"; then + AC_DEFINE(MOZ_JETPACK) +fi + +AC_SUBST(MOZ_JETPACK) + +dnl ======================================================== dnl = Define default location for MOZILLA_FIVE_HOME dnl ======================================================== MOZ_ARG_WITH_STRING(default-mozilla-five-home, |