diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-27 18:15:06 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-08 12:22:15 +0100 |
| commit | c258e553813cf5fe3ec7c22e4a5df864f90e6d75 (patch) | |
| tree | 9ae5ab7cdd79dfc0d3b1f304c1a648084d567f2c /src/buildtool/execution_api/execution_service/execution_server.cpp | |
| parent | 27576086dcbb7abdb68d129cc101ff81587a5901 (diff) | |
| download | justbuild-c258e553813cf5fe3ec7c22e4a5df864f90e6d75.tar.gz | |
Just-MR: Add tree id root map
Map for a workspace root given as a known git tree id which is
promised to be obtainable by executing a specified command.
Diffstat (limited to 'src/buildtool/execution_api/execution_service/execution_server.cpp')
0 files changed, 0 insertions, 0 deletions