diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-07 18:07:47 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-08 15:40:56 +0100 |
| commit | aaf386931165d003628780c4d914d3bbc9798a38 (patch) | |
| tree | cb2b2c1621fcd4b0e67e79e708bfe1df3c6f4be5 /src/other_tools/utils/curl_easy_handle.cpp | |
| parent | 8eed2f91094a126499cf5552661dddd2c2fda155 (diff) | |
| download | justbuild-aaf386931165d003628780c4d914d3bbc9798a38.tar.gz | |
just-mr: fix options mismatches
... both with respect to just options and the man page specifications.
Option -L of just-mr was reassigned as a short name for
--local-launcher, matching its use in just. Its place is now
correctly held by the full name option --checkout-locations, as
per the section-1 man page.
Diffstat (limited to 'src/other_tools/utils/curl_easy_handle.cpp')
0 files changed, 0 insertions, 0 deletions