diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-02-22 17:58:04 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-02-23 10:27:55 +0100 |
| commit | b86388107fda2094060a5e9470728b7be9d750c9 (patch) | |
| tree | 37120f4fdb371daef369cafe59189bc350790331 /share | |
| parent | 87591efc203533a15c2e08d0fdbea7f7fdfd6e18 (diff) | |
| download | justbuild-b86388107fda2094060a5e9470728b7be9d750c9.tar.gz | |
Add a version command for just-mr itself
Both, just and the launcher just-mr are developped and released
together and hence share version numbers. Nevertheless, the tools
are used independently. In fact, just-mr has an option to specify
the just binary to be used. Hence it is useful that each tool is
aware of its own version number. As a launcher, just-mr is supposed
to forward all subcommands known to just, hence the just-mr command
to show the version information cannot be called "version"; we use
"mrversion" instead.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.org | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index 136796f4..b7a128f1 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -92,6 +92,13 @@ See *just-mr-repository-config(5)* for more details on the input format. * SUBCOMMANDS +** mrversion + +Print on stdout a JSON object providing version information for +this tool itself; the ~version~ subcommand calls the ~version~ +subcommand of just. The version information for just-mr is in the +same format that also ~just~ uses. + ** setup|setup-env These subcommands fetch all required repositories and generate an appropriate |