4 ms·mhm, `cd tools; make` worked on OS X 10.10.5.by x0 11y agomhm, `cd tools; make` worked on OS X 10.10.5.