diff options
| author | Ha Thach <[email protected]> | 2024-04-04 14:35:29 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-04-04 14:35:29 +0700 |
| commit | 177b388be0f430ef09ad2caf61cd70acd574c0d5 (patch) | |
| tree | 4126a61278ccaeed3f0bacc724e0aaf8c51054a5 /tools | |
| parent | 66cdf6d097d76f8d21ed4314651ac730d4023f99 (diff) | |
| parent | ebe692350047b7b2a5b46de7894352934c4200aa (diff) | |
Merge pull request #2571 from hathach/fix-max3421-rp2040-build
fix build with rp2040 + max3421
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 |
