Skip to content

Commit

Permalink
fix(copy_headers): use local _copy_folder_content
Browse files Browse the repository at this point in the history
  • Loading branch information
JMounier committed Apr 23, 2021
1 parent 1ed8eb7 commit eff2573
Showing 1 changed file with 2 additions and 8 deletions.
10 changes: 2 additions & 8 deletions run-ci.py
Original file line number Diff line number Diff line change
Expand Up @@ -106,14 +106,8 @@ def copy_headers(self) -> None:
deps_info = DepsConfig(self.get_build_path(first_profile))
for include_dir in deps_info["tanker"].include_dirs:
include_path = Path(include_dir)
for header in include_path.glob("**/*"):
if header.is_dir():
continue
rel_dir = header.parent.relative_to(include_dir)
header_dest_dir = self.headers_path / rel_dir
header_dest_dir.mkdir(parents=True, exist_ok=True)
ui.info_2(header, "->", header_dest_dir)
shutil.copy(header, header_dest_dir)

_copy_folder_content(include_path, self.headers_path)

def handle_sdk_deps(self, *, tanker_source: TankerSource) -> None:
ui.info_1("copying sdk-native for profiles: ", self.profiles)
Expand Down

0 comments on commit eff2573

Please sign in to comment.