diff options
| author | Ha Thach <[email protected]> | 2022-05-16 16:29:20 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-05-16 16:29:20 +0700 |
| commit | c2bcda86e2de35cc01628f4e909e2a7869a7322b (patch) | |
| tree | 948f913855f9fb2f6b4e9dd726491649a21313d4 /tools/build_board.py | |
| parent | d23c9b7cd681b972d310e401b418f4368507e06f (diff) | |
| parent | e0e9426c2a912c2c405da602b1bf8d75d16f92e7 (diff) | |
Merge pull request #1412 from hathach/pio-host
PIO USB support
Diffstat (limited to 'tools/build_board.py')
| -rw-r--r-- | tools/build_board.py | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/tools/build_board.py b/tools/build_board.py index b2a80c680..4d895329a 100644 --- a/tools/build_board.py +++ b/tools/build_board.py @@ -28,12 +28,11 @@ def filter_with_input(mylist): # If examples are not specified in arguments, build all all_examples = [] -for entry in os.scandir("examples/device"): - if entry.is_dir(): - all_examples.append("device/" + entry.name) -for entry in os.scandir("examples/host"): - if entry.is_dir(): - all_examples.append("host/" + entry.name) +for dir1 in os.scandir("examples"): + if dir1.is_dir(): + for entry in os.scandir(dir1.path): + if entry.is_dir(): + all_examples.append(dir1.name + '/' + entry.name) filter_with_input(all_examples) all_examples.sort() |
