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 /bin | |
| 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 'bin')
| -rwxr-xr-x | bin/just-mr.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/just-mr.py b/bin/just-mr.py index 6a066d8d..a5a521a3 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -928,7 +928,7 @@ def main(): dest="repository_config", help="Repository-description file to use", metavar="FILE") - parser.add_argument("-L", + parser.add_argument("--checkout-locations", dest="checkout_location", help="Specification file for checkout locations") parser.add_argument("--local-build-root", |