diff options
author | Sergei Trofimov <sergei.trofimov@arm.com> | 2018-07-19 14:43:46 +0100 |
---|---|---|
committer | Marc Bonnici <marc.bonnici@arm.com> | 2018-07-23 16:47:10 +0100 |
commit | e4a856ad03caee9e22c85b0619ee952d36992877 (patch) | |
tree | f22206715858f009994f78857b37b5c6cfd3fa2a /wa/framework | |
parent | 7d833ec112dd1fa71d21e44fe48e76be5ae49e3b (diff) |
fw/config: preserve included config files
Save included config files, along with the explicitly-specified config
that included them, under run output's __meta/raw_config/.
Diffstat (limited to 'wa/framework')
-rw-r--r-- | wa/framework/configuration/execution.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/wa/framework/configuration/execution.py b/wa/framework/configuration/execution.py index 44ae5a17..aa8a7b50 100644 --- a/wa/framework/configuration/execution.py +++ b/wa/framework/configuration/execution.py @@ -90,8 +90,9 @@ class ConfigManager(object): self.agenda = None def load_config_file(self, filepath): - self._config_parser.load_from_path(self, filepath) + includes = self._config_parser.load_from_path(self, filepath) self.loaded_config_sources.append(filepath) + self.loaded_config_sources.extend(includes) def load_config(self, values, source): self._config_parser.load(self, values, source) |