diff options
Diffstat (limited to 'wa/framework/target/runtime_parameter_manager.py')
| -rw-r--r-- | wa/framework/target/runtime_parameter_manager.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wa/framework/target/runtime_parameter_manager.py b/wa/framework/target/runtime_parameter_manager.py index 605b56d7..c4623550 100644 --- a/wa/framework/target/runtime_parameter_manager.py +++ b/wa/framework/target/runtime_parameter_manager.py @@ -97,6 +97,6 @@ class RuntimeParameterManager(object): def get_cfg_point(self, name): name = caseless_string(name) for k, v in self.runtime_params.items(): - if name == k: + if name == k or name in v.cfg_point.aliases: return v.cfg_point raise ConfigError('Unknown runtime parameter: {}'.format(name)) |