summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2023-06-12 17:19:06 +0200
committerKlaus Aehlig <klaus.aehlig@huawei.com>2023-06-12 17:19:06 +0200
commit8f8d18b0cb44609a3c33b94dd8bd16450d3eec52 (patch)
tree92361397dab71c614dc651bcb1569a2e9a7cbc50 /doc
parentec1e9292a887dbb96668f75c1bc86f795ce1c780 (diff)
downloadjustbuild-8f8d18b0cb44609a3c33b94dd8bd16450d3eec52.tar.gz
just execute tutorial: hint on the --compatible option
... so that users who want use just as an execution service for other build tools are aware and don't run into errors due to incompatible hashes.
Diffstat (limited to 'doc')
-rw-r--r--doc/tutorial/just-execute.org8
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/tutorial/just-execute.org b/doc/tutorial/just-execute.org
index f43cb202..c92c5108 100644
--- a/doc/tutorial/just-execute.org
+++ b/doc/tutorial/just-execute.org
@@ -87,6 +87,14 @@ type on one shell (as ~build~ user)
% just execute -p <N>
#+END_SRC
Where ~<N>~ is a port number which is supposed to be available.
+By default, the native ~git~-based protocol will be used, but it
+is also possible to use the original protocol with ~sha256~ hashes
+by providing the ~--compatible~ option.
+#+BEGIN_SRC bash
+% just execute --compatible -p <N>
+#+END_SRC
+This is particularly useful when providing the remote-execution service
+to a different build tool.
To use it, as a /normal/ user, on a different shell type
#+BEGIN_SRC bash