diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-11-30 13:06:47 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-12-12 13:35:39 +0100 |
| commit | 028915447e6bbe25a3ac55b38a2811231374bab1 (patch) | |
| tree | 8f007b8f93a95b643f2b263a368ee8c1f2030fb0 /share | |
| parent | 3d29363373bf079c4cdcff0f880b320cfe76f870 (diff) | |
| download | justbuild-028915447e6bbe25a3ac55b38a2811231374bab1.tar.gz | |
Just-mr: Fix handling and meaning of --just option
The value of --just option should be used as-is,
as it might be a var in PATH. The `execvp` call will handle this.
The Python script and man page have been updated accrodingly.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.org | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index a3a9b57c..9e8e6bbe 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -69,7 +69,8 @@ See *just-mr-repository-config(5)* for more details on the input format. The repository to take the target from.\\ *--just* PATH\\ - Path to the just binary. Default: ~"just"~.\\ + Name of the just binary in ~PATH~ or path to the just binary.\\ + Default: ~"just"~.\\ *--rc* PATH\\ Path to the just-mrrc file to use. See *just-mrrc(5)* for more details.\\ |