mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-25 14:17:22 +00:00
d5417217be
This patch also tries to verify that the tools are actually found early in the configure process, rather than failing with difficult to parse errors at the end of the build. Since the Android developer tools are defined earlier in the build process, we can remove a work-around needed for |make install|.