diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-02 10:15:53 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-02 12:05:58 +0100 |
| commit | 2037d87d34c2a94b48b148b4151c1343169a5568 (patch) | |
| tree | 069796685b7d7a5ef9467dffe0e4b423e47ce1a4 /src/other_tools/utils/curl_url_handle.cpp | |
| parent | fa0ec67e09959ff15363bab8d6be95fe45ec8fb6 (diff) | |
| download | justbuild-2037d87d34c2a94b48b148b4151c1343169a5568.tar.gz | |
just: make -D options overlay
... instead of only honoring the latest argument. In this way,
standard overlays coming from the launcher configuration can be
amended in individual invocations.
Diffstat (limited to 'src/other_tools/utils/curl_url_handle.cpp')
0 files changed, 0 insertions, 0 deletions