mirror of
https://github.com/Kitware/CMake.git
synced 2026-05-19 22:38:33 -05:00
4fb2b41a58
Enable the server to support development with some helper tools: You can now request debug information with statistics on how long execution of a command took, how long it took to serialize the JSON files, and how big the serialized JSON string is. Also allow to dump results into a file.