mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-10 03:45:46 +00:00
978cb5107a
A new configure option --with-devtools (which sets MOZ_DEVTOOLS) is added to control whether all DevTools, just the server, or no DevTools are included. This defaults to just the server. Applications should also include /devtools within their moz.build tree, so that DIST_SUBDIR is in effect for all DevTools files if it is used by the app. |
||
---|---|---|
.. | ||
windows | ||
Makefile.in | ||
package-manifest.in | ||
removed-files.in |