Therefore ninja master is needed, please update your build server.
When a particular ninja 'master' is required, it would be great if you could recommend a given snapshot by git commit rather than just saying 'master'. Especially for those of us submitting CMake dashboards using ninja, it would be very helpful to use a consistent ninja, preferably even a tag from their git repo once one becomes available that has the required features in it.
For now, would you recommend a given commit? I see this one on github right now: https://github.com/martine/ninja/commit/a3c823c3da70bd46d69341f13184cdae4c77645d
Thanks, David -- Powered by www.kitware.com Visit other Kitware open-source projects at http://www.kitware.com/opensource/opensource.html Please keep messages on-topic and check the CMake FAQ at: http://www.cmake.org/Wiki/CMake_FAQ Follow this link to subscribe/unsubscribe: http://public.kitware.com/cgi-bin/mailman/listinfo/cmake-developers