Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #2007 from frozar/enable-tools
[TRAVIS] Enable the build of tools.
- Loading branch information