diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-07-28 15:46:33 +0200 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-07-28 18:39:04 +0200 |
commit | 7d00ee0c938ebc4f56a792639a3a723a05e54e10 (patch) | |
tree | c036194de85c12ba90564c5d0169fdf53686dd20 /doc/tutorial/hello-world.org | |
parent | 3bf7794edf280562631b6a446024b815cc4b9630 (diff) | |
download | justbuild-7d00ee0c938ebc4f56a792639a3a723a05e54e10.tar.gz |
Upd tutorial to reflect new just-mr setup output
Diffstat (limited to 'doc/tutorial/hello-world.org')
-rw-r--r-- | doc/tutorial/hello-world.org | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/tutorial/hello-world.org b/doc/tutorial/hello-world.org index d381584a..97be0513 100644 --- a/doc/tutorial/hello-world.org +++ b/doc/tutorial/hello-world.org @@ -125,6 +125,10 @@ $ cat $CONF ] }, "tutorial": { + "workspace_root": [ + "file", + "/tmp/tutorial" + ] "bindings": { "rules": "just-rules" } |