diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-11-21 11:13:15 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-11-21 11:15:24 +0100 |
| commit | 3fc5156844f626c33be7931deb4ef73dba13275b (patch) | |
| tree | 134090690a324cd9ffb9c752a7a3b7716a4b22c8 /rtems_spec_to_x.py | |
| parent | util: Add base64_to_hex() (diff) | |
| download | rtems-central-3fc5156844f626c33be7931deb4ef73dba13275b.tar.bz2 | |
util: Add copy_file()
Add logging to copy_files().
Diffstat (limited to 'rtems_spec_to_x.py')
| -rwxr-xr-x | rtems_spec_to_x.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems_spec_to_x.py b/rtems_spec_to_x.py index 77b6ebf6..7ff3d561 100755 --- a/rtems_spec_to_x.py +++ b/rtems_spec_to_x.py @@ -39,7 +39,7 @@ def _run_pre_qualified_only_build(config: dict, item_cache: ItemCache) -> None: files = rtemsspec.build.gather_files(config, item_cache) source_dir = config["source-directory"] workspace_dir = config["workspace-directory"] - rtemsspec.util.copy_files(source_dir, workspace_dir, files) + rtemsspec.util.copy_files(source_dir, workspace_dir, files, "workspace") with open(os.path.join(workspace_dir, "config.ini"), "w", encoding="utf-8") as config_ini: content = string.Template(config["config-ini"]).substitute(config) |