diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-11-16 11:38:23 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-11-16 15:09:05 +0100 |
| commit | fbc34ed2cb3e42a2d5df6db67a362b127df42f7d (patch) | |
| tree | 5ea1e234f4db3e07bf9bec047bd27d7657c881f7 /doc/tutorial/getting-started.org | |
| parent | c3b10ee7c9320ed6cf5daec6310b0296812ea86a (diff) | |
| download | justbuild-fbc34ed2cb3e42a2d5df6db67a362b127df42f7d.tar.gz | |
Fix effective configuration computation in configure
While the built-in "configure" rule is forwarding the result of
the configured target, its own effective configuration is not that
of the configured target. The effective configuration is defined
to be that part of the incoming configuration that can potentially
influence the result of that target; in particular, this includes
variables read in defining the configuration transition.
Diffstat (limited to 'doc/tutorial/getting-started.org')
0 files changed, 0 insertions, 0 deletions