diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-10 14:26:16 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-13 12:42:42 +0200 |
| commit | dbd30777d1c60bdcdff226b5f97582dba0bba4ba (patch) | |
| tree | 30b2beaf482201e11282eb884243f301678305b5 /doc/.gitignore | |
| parent | 92b98aee1eb9f9550634720b96eec0be1831ebb7 (diff) | |
Allow back overriding variables specified in buildfiles
It is still not clear whether this is the right thing to allow, conceptually,
but with this disallowed it's hard to test this functionality. Perhaps we
should have an attribute [overridable]. The problem is one will also have to
set this variable to some value (e.g., [null]) which is not exactly the same
as undefined (especially when testing).
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions