diff options
author | 2017-12-21 14:17:10 -0800 | |
---|---|---|
committer | 2017-12-21 14:20:23 -0800 | |
commit | 0421d7d8566a6fbe35e17a1edc3ab4d622aa6c9e (patch) | |
tree | cdd56cfd0361aabc0d960a3306f992f109e7d1fe /AUTHORS | |
parent | cc99efdc6bec68979334345175e18066249e78e8 (diff) |
Warn about config expansions as we do for other expansions.
If an expanded value overrides an explicit value, users who do not know the contents of the expansion may be surprised. We already warned about this for hard-coded expansions, and this is now applicable for --config expansions as well.
This will only warn when a single-valued option has its value replaced. Options that accumulate multiple values in a list (e.g., --copt) will silently include both explicit and expanded values.
RELNOTES: None.
PiperOrigin-RevId: 179857526
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions