diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-08-23 15:40:56 +0200 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-08-24 18:23:22 +0200 |
commit | 0994a6cc5b10c550b796ea57537adafa738525dd (patch) | |
tree | 767e9a7d5e8a0b48ab13d1490db8782fbea3dc84 /doc | |
parent | dca6b72e603d79d5b7c6db52cdb6a2224233213f (diff) | |
download | justbuild-0994a6cc5b10c550b796ea57537adafa738525dd.tar.gz |
Glob tutorial: fix typos and white space
Diffstat (limited to 'doc')
-rw-r--r-- | doc/tutorial/target-file-glob-tree.org | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/tutorial/target-file-glob-tree.org b/doc/tutorial/target-file-glob-tree.org index f01430a0..142088d0 100644 --- a/doc/tutorial/target-file-glob-tree.org +++ b/doc/tutorial/target-file-glob-tree.org @@ -243,7 +243,7 @@ to understand this in detail and the rational behind it. way, only one directory has to be read during analysis; allowing deeper globs would require traversal of subdirectories requiring larger cost. While the explicit ~"TREE"~ reference allows recursive - traversal in typical use case of the respective workspace root + traversal, in the typical use case of the respective workspace root being a ~git~ root, it is actually cheap; we can look up the ~git~ tree identifier without traversing the tree. Such a quick look up would not be possible if matches had to be selected. @@ -256,7 +256,7 @@ file in favour of the patched one is deliberate. For this, there is the rule ~["data", "overlay"]~ taking the union of the artifacts of the specified targets, accepting conflicts and resolving them in a latest-wins fashion. Keep in mind, that our target fields are list, -not sets. Looking at the definition of the target, one finds that +not sets. Looking at the definition of the rule, one finds that it is simply a ~"map_union"~. Hence we refine our ~"data"~ target. #+BEGIN_SRC js @@ -404,5 +404,3 @@ $ /tmp/testinstall/bin/units 'area_saarland' 'area_soccerfield' / 2.7782101e-06 $ #+END_SRC - - |