diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2024-04-09 10:41:04 +0200 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2024-04-10 10:36:20 +0200 |
| commit | 2e953b04bbd8e619172c9d0eeafd0342700d6ee9 (patch) | |
| tree | 2c89632906d8b46867b5a5f57129269e2cd82306 /src/buildtool/file_system/git_repo.cpp | |
| parent | 277be6dd08633dbebfda93afdfc6b5cb57e053e0 (diff) | |
| download | justbuild-2e953b04bbd8e619172c9d0eeafd0342700d6ee9.tar.gz | |
bugfix: cli: remote-execution-property: allow for accumulating multiple pairs.
Before this patch, if the option `--remote-execution-property KEY:VAL`
is repeated multiple times (also with different `KEY`s), only the last
one is taken into account.
This patch fixes the intended behavior.
Diffstat (limited to 'src/buildtool/file_system/git_repo.cpp')
0 files changed, 0 insertions, 0 deletions