diff options
| author | hathach <[email protected]> | 2024-04-04 14:10:48 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2024-04-04 14:10:48 +0700 |
| commit | ebe692350047b7b2a5b46de7894352934c4200aa (patch) | |
| tree | 4126a61278ccaeed3f0bacc724e0aaf8c51054a5 /tools | |
| parent | f603c4a330f55158da7782671158fedabb62c29c (diff) | |
update build script to allow skip.txt and only.txt both exist
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_utils.py | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/tools/build_utils.py b/tools/build_utils.py index 5d735bc17..b66b64b97 100644 --- a/tools/build_utils.py +++ b/tools/build_utils.py @@ -64,18 +64,19 @@ def skip_example(example, board): skip_file = ex_dir / "skip.txt" only_file = ex_dir / "only.txt" - if skip_file.exists() and only_file.exists(): - raise RuntimeError("Only have a skip or only file. Not both.") - elif skip_file.exists(): + if skip_file.exists(): skips = skip_file.read_text().split() - return ("mcu:" + mcu in skips or - "board:" + board in skips or - "family:" + family in skips) - elif only_file.exists(): + if ("mcu:" + mcu in skips or + "board:" + board in skips or + "family:" + family in skips): + return True + + if only_file.exists(): onlys = only_file.read_text().split() - return not ("mcu:" + mcu in onlys or - "board:" + board in onlys or - "family:" + family in onlys) + if not ("mcu:" + mcu in onlys or + "board:" + board in onlys or + "family:" + family in onlys): + return True return False |
