summaryrefslogtreecommitdiff
path: root/doc/tutorial/getting-started.org
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2023-02-22 17:58:04 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2023-02-23 10:27:55 +0100
commitb86388107fda2094060a5e9470728b7be9d750c9 (patch)
tree37120f4fdb371daef369cafe59189bc350790331 /doc/tutorial/getting-started.org
parent87591efc203533a15c2e08d0fdbea7f7fdfd6e18 (diff)
downloadjustbuild-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