diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-07-18 10:10:23 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-07-22 18:35:06 +0200 |
| commit | b9c0ab0a0476f23ebdc797bf950b903f8d153795 (patch) | |
| tree | b36ba9162bd3e157952968bc7bd4006f00a81c6f /src/other_tools/root_maps/commit_git_map.hpp | |
| parent | a5be6de770c9152f3248ce0f01ac3645e30a19ed (diff) | |
| download | justbuild-b9c0ab0a0476f23ebdc797bf950b903f8d153795.tar.gz | |
cli: Make info_file type consistent
Both the serve and execution servers store the info_file and
pid_file as strings, to be used for reading via std::ofstream.
Read info_file then also as string, like pid_file is.
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.hpp')
0 files changed, 0 insertions, 0 deletions