mangoszero/server — pull request #194 by lfxgroove (2014-07-16 16:59:06+00:00)
Title: [CMake] Don't build tools by default

It's now optional to build the tools, should hopefully improve build time by a little bit at least.