diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-01-12 11:53:53 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-01-12 12:10:45 +0100 |
commit | 1f06bb56dd237d318a55ce426ad1de5b9ea46e31 (patch) | |
tree | 37592be545a2b119b0ce162da91c4beb54b7d70c /src/other_tools/root_maps/fpath_git_map.cpp | |
parent | 9582e7dae5137161707130dad56e09655b97951f (diff) | |
download | justbuild-1f06bb56dd237d318a55ce426ad1de5b9ea46e31.tar.gz |
source map: quote file names in error message
... to ensure unique readability even with file names containing
spaces or other special symbols; those kind of fancy file names
typically occur when a string intended as named target is implicitly
taken as a file (e.g., due to a spelling error). While there, also
include directory and repository in the error message.
Diffstat (limited to 'src/other_tools/root_maps/fpath_git_map.cpp')
0 files changed, 0 insertions, 0 deletions