diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-12-07 10:59:10 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-12-11 15:41:58 +0100 |
commit | a1bdc438f3e17b0c30f3a53b0bc5e38ebb7bb936 (patch) | |
tree | dca0a5c292eb573d36888cc631e92f6ed4d74428 /src/buildtool/file_system/file_system_manager.hpp | |
parent | bcbfd1fc659df948899fa34e8a1af7fa6f7920e6 (diff) | |
download | justbuild-a1bdc438f3e17b0c30f3a53b0bc5e38ebb7bb936.tar.gz |
just-mrrc: support file options for the launcher functionality
When just-mr acts as a launcher, for most subcommand options the
"just args" entry in the rc files provides a convenient way to set
them. However, some options take a file as argument; for those it can
be desirable to set them without assuming a fixed file-system layout
and instead refer to logical roots, in particular the work space.
for the ones that refer to files, it is often desirable to have a potential
reference to the work space. Add this functionality.
Diffstat (limited to 'src/buildtool/file_system/file_system_manager.hpp')
0 files changed, 0 insertions, 0 deletions