diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-04 13:52:34 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-07 10:00:12 +0100 |
| commit | 3eef9b3da3529b60fc3fd68930023dd1a0e6f50c (patch) | |
| tree | e5a30c4e4f5e390cd51f0923c73f84a75e2b4eb7 | |
| parent | ccb366a20ca0c8bfa1da872642719c1caf89b2e6 (diff) | |
| download | justbuild-3eef9b3da3529b60fc3fd68930023dd1a0e6f50c.tar.gz | |
just-mr.1: 'git tree' repos can also be fetched and backed to remote.
| -rw-r--r-- | share/man/just-mr.1.md | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index 74f0f239..7126487d 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -224,11 +224,12 @@ file. fetch ----- -This subcommand prepares all archive-type workspace roots for an offline -build by fetching all their required source files from the specified -locations given in the input configuration file. Any subsequent -**`just-mr`** or **`just`** invocations containing fetched archive workspace -roots will thus need no further network connections. +This subcommand prepares all archive-type and **`"git tree"`** workspace roots +for an offline build by fetching all their required source files from the +specified locations given in the input configuration file or ensuring the +specified tree is present in the Git cache, respectively. Any subsequent +**`just-mr`** or **`just`** invocations containing fetched archive or +**`"git tree"`** workspace roots will thus need no further network connections. If a main repository is provided in the input configuration or on command line, only it and its dependencies are considered for fetching. @@ -245,7 +246,8 @@ directories, use the **`-o`** option. Additionally, and only in *native mode*, the **`--backup-to-remote`** option can be used in combination with the **`--remote-execution-address`** argument to -synchronize the locally fetched archives with a remote endpoint. +synchronize the locally fetched archives, as well as the **`"git tree"`** +workspace roots, with a remote endpoint. update ------ |