diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-06-18 10:59:09 +0200 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-06-18 11:28:13 +0200 |
commit | bafb609c4124636239428d14e8b6200b9fe02f45 (patch) | |
tree | 5e825159ba5939cbed0c14737335fc3fed4bfe0c | |
parent | aea1ddebf83685e4c46b65edd877fec3bab62c4a (diff) | |
download | justbuild-bafb609c4124636239428d14e8b6200b9fe02f45.tar.gz |
bootstrap.py: Small readability improvementv1.6.0-alpha+20250618
-rwxr-xr-x | bin/bootstrap.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py index 2a8c19c2..0cd5f09b 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -341,14 +341,16 @@ def prune_config(*, repos_file: str, empty_dir: str) -> None: with open(repos_file, "w") as f: json.dump(repos, f, indent=2) + def ignore_dst(dst: str) -> Callable[[str, List[str]], List[str]]: def ignore_(path: str, names: List[str]) -> List[str]: if os.path.normpath(path) == dst: return names for n in names: if os.path.normpath(os.path.join(path, n)) == dst: - return[n] + return [n] return [] + return ignore_ |