diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2021-09-20 09:57:13 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-09-20 09:57:13 +0200 |
| commit | bdcd4211cf76bc75dd6f9a16fa3835632dfb7f20 (patch) | |
| tree | 6c928ff6e42b17adc9ff0745b88d5604cadd1f02 /.gitmodules | |
| parent | 280c4fc46e8485d52a5faaf4c9585b865080ed7b (diff) | |
Assign pre-defined semantics to config.<project>.develop variables
This variable allows a project to distinguish between development and
consumption builds. While normally there is no distinction between these two
modes, sometimes a project may need to provide additional functionality during
development. For example, a source code generator which uses its own generated
code in its implementation may need to provide a bootstrap step from the
pre-generated code. Normally, such a step is only needed during development.
See "Project Configuration" in the manual for details.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions