diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_esp32sx.py (renamed from tools/build_esp32s2.py) | 3 | ||||
| -rw-r--r-- | tools/build_family.py | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/tools/build_esp32s2.py b/tools/build_esp32sx.py index 0ef05023c..91953f080 100644 --- a/tools/build_esp32s2.py +++ b/tools/build_esp32sx.py @@ -38,6 +38,9 @@ all_boards = [] for entry in os.scandir("hw/bsp/esp32s2/boards"): if entry.is_dir(): all_boards.append(entry.name) +for entry in os.scandir("hw/bsp/esp32s3/boards"): + if entry.is_dir(): + all_boards.append(entry.name) filter_with_input(all_boards) all_boards.sort() diff --git a/tools/build_family.py b/tools/build_family.py index 65d0e8fc2..c46781904 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": + if entry.is_dir() and os.path.isdir(entry.path + "/boards") and entry.name != "esp32s2" and entry.name != "esp32s3": all_families.append(entry.name) filter_with_input(all_families) |