BuildTools (Jan 12, 2015, 11:09:10 PM)

Started 11 yr ago

Took 7.8 sec

Get info about what to build from Jenkins.

- Will allow us to pin builds
- Won't build stuff Jenkins hasn't already built