diff options
| author | Matt A. Tobin <email@mattatobin.com> | 2016-10-16 21:53:01 -0400 |
|---|---|---|
| committer | Matt A. Tobin <email@mattatobin.com> | 2016-10-16 21:53:01 -0400 |
| commit | f5fb238305b7a2878c8bdaa479218815be03f28d (patch) | |
| tree | f170d6878f89a0dd783710fbb35f7a0c48389818 /configure.in | |
| parent | 5dec5fd7316ed537a559d62864ed6e551b030164 (diff) | |
| download | palemoon-gre-f5fb238305b7a2878c8bdaa479218815be03f28d.tar.gz | |
Move Mozilla DevTools to Platform - Part 10: Configure
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 242a955ca..e27780df0 100644 --- a/configure.in +++ b/configure.in @@ -3935,6 +3935,7 @@ NSS_NO_LIBPKIX= MOZ_CONTENT_SANDBOX= MOZ_GMP_SANDBOX= MOZ_SANDBOX= +MOZ_DEVTOOLS= case "$target_os" in mingw*) @@ -7443,6 +7444,20 @@ if test "$MOZ_CHROME_FILE_FORMAT" != "jar" && AC_MSG_ERROR([--enable-chrome-format must be set to either jar, flat, or omni]) fi +dnl ======================================================== +dnl = Enable Mozilla Developer Tools (frontend) +dnl ======================================================== +MOZ_ARG_ENABLE_BOOL(devtools, +[ --enable-devtools Enable Mozilla Developer Tools], + MOZ_DEVTOOLS=1, + MOZ_DEVTOOLS=) + +if test -n "$MOZ_DEVTOOLS"; then + AC_DEFINE(MOZ_DEVTOOLS) +fi + +AC_SUBST(MOZ_DEVTOOLS) + dnl ========================================================= dnl Enable support for revamped devtools Performance Tools dnl ========================================================= |