diff options
| author | Scott Shawcroft <[email protected]> | 2022-01-05 14:33:24 -0800 |
|---|---|---|
| committer | Scott Shawcroft <[email protected]> | 2022-01-05 14:33:24 -0800 |
| commit | 4fe0a30ec7bf254c839a76da9be3a2968d1690db (patch) | |
| tree | fe661448e4b465dd247d9796ab58058aca271cea /tools | |
| parent | 84e2df51be5961177a63c6842a4130bb9b8978ac (diff) | |
Skip net and freertos examples
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_family.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build_family.py b/tools/build_family.py index 4195c259b..ccbcfa3f8 100644 --- a/tools/build_family.py +++ b/tools/build_family.py @@ -38,7 +38,7 @@ all_examples.sort() # If family are not specified in arguments, build all all_families = [] for entry in os.scandir("hw/bsp"): - if entry.is_dir() and os.path.isdir(entry.path + "/boards") and entry.name != "esp32s2" and entry.name != "esp32s3": + if entry.is_dir() and os.path.isdir(entry.path + "/boards") and entry.name not in ("esp32s2", "esp32s3"): all_families.append(entry.name) filter_with_input(all_families) |