diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-04-22 12:53:32 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-04-22 13:56:44 +0200 |
| commit | be2e338f72605ce7fbc5d55ee494f0231d25f1c8 (patch) | |
| tree | 983fa45ce139278dbcd83f29d507eb44c416094d /doc/concepts/expressions.org | |
| parent | 4535b23db82f7bf786f33dbb8e686e759b12afb8 (diff) | |
| download | justbuild-be2e338f72605ce7fbc5d55ee494f0231d25f1c8.tar.gz | |
rule ["CC", "header directory"]: drop ill-advised "public stage"
The idea, as documented, of a header directory is to have a
directory, closed as a tree, owned by the respective library and
internally handled in an efficient way (as a single tree). If we
open up that directory, we just have staged data, and therefore
should treat it as such.
Diffstat (limited to 'doc/concepts/expressions.org')
0 files changed, 0 insertions, 0 deletions