diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-17 14:29:00 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-17 14:29:00 +0200 |
commit | 8230acb305029bd6f628244330a3be533649ba80 (patch) | |
tree | bd11ef777a4feee1e6dc2474c4a2201aa6349fe6 /rtems_spec_to_x.py | |
parent | util: New module (diff) | |
download | rtems-central-8230acb305029bd6f628244330a3be533649ba80.tar.bz2 |
util: Add copy_files()
Diffstat (limited to 'rtems_spec_to_x.py')
-rwxr-xr-x | rtems_spec_to_x.py | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/rtems_spec_to_x.py b/rtems_spec_to_x.py index 06f4d98e..16385f3b 100755 --- a/rtems_spec_to_x.py +++ b/rtems_spec_to_x.py @@ -26,7 +26,6 @@ # POSSIBILITY OF SUCH DAMAGE. import os -import shutil import string import subprocess from typing import List @@ -56,11 +55,7 @@ def _run_pre_qualified_only_build(config: dict, item_cache: ItemCache) -> None: files = rtemsqual.build.gather_files(config, item_cache) source_dir = config["source-directory"] workspace_dir = config["workspace-directory"] - for a_file in files: - src = os.path.join(source_dir, a_file) - dst = os.path.join(workspace_dir, a_file) - os.makedirs(os.path.dirname(dst), exist_ok=True) - shutil.copy2(src, dst) + rtemsqual.util.copy_files(source_dir, workspace_dir, files) with open(os.path.join(workspace_dir, "config.ini"), "w") as config_ini: content = string.Template(config["config-ini"]).substitute(config) config_ini.write(content) |