As above, but push the whole directory tree under host_dir.
(self, host_dir, target_rel='.')
| 123 | self.pushed.add(file_on_host) |
| 124 | |
| 125 | def push_files_rec(self, host_dir, target_rel='.'): |
| 126 | """As above, but push the whole directory tree under host_dir.""" |
| 127 | root = Path(host_dir) |
| 128 | for entry in root.rglob('*'): |
| 129 | if entry.is_file(): |
| 130 | self.push_file(host_dir, entry.relative_to(root), target_rel) |
| 131 | |
| 132 | def push_executable(self, shell_dir, target_dir, binary): |
| 133 | """Push files required to run a V8 executable. |