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 /doc/tutorial/getting-started.org | |
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 'doc/tutorial/getting-started.org')
0 files changed, 0 insertions, 0 deletions