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/commands | |
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/commands')
-rw-r--r-- | wa/commands/run.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/wa/commands/run.py b/wa/commands/run.py index 6459ac91..ac45469c 100644 --- a/wa/commands/run.py +++ b/wa/commands/run.py @@ -97,8 +97,10 @@ class RunCommand(Command): parser = AgendaParser() if os.path.isfile(args.agenda): - parser.load_from_path(config, args.agenda) + includes = parser.load_from_path(config, args.agenda) shutil.copy(args.agenda, output.raw_config_dir) + for inc in includes: + shutil.copy(inc, output.raw_config_dir) else: try: pluginloader.get_plugin_class(args.agenda, kind='workload') |