Delete the named cross-build directory, if it exists.
(name: str)
| 154 | |
| 155 | |
| 156 | def delete_path(name: str) -> None: |
| 157 | """Delete the named cross-build directory, if it exists.""" |
| 158 | path = CROSS_BUILD_DIR / name |
| 159 | if path.exists(): |
| 160 | print(f"Deleting {path} ...") |
| 161 | shutil.rmtree(path) |
| 162 | |
| 163 | |
| 164 | def all_host_triples(platform: str) -> list[str]: |