Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
./build.py -top now ignores local build.xml files
Previous minor fixes to build.py allowed called from anywhere in the source repository. If a build.xml is present in the current directory, that is used. If not, then the top-level directory is used. However, there was no way to use the top-level when a build.xml was present. `-top` now allows this.
- Loading branch information