diff options
| author | hathach <[email protected]> | 2022-05-10 13:15:07 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2022-05-10 13:15:07 +0700 |
| commit | 993f7b6a2c0b325683ebb4f7dc5b0039d92c1eab (patch) | |
| tree | 1530ebe9899f9061b16456811c8409b049e23e65 /tools | |
| parent | e3b57cea05b5e023bba7472bf8c583d4adc29e3e (diff) | |
include dual examples to ci
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_board.py | 11 | ||||
| -rw-r--r-- | tools/build_family.py | 11 |
2 files changed, 10 insertions, 12 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() diff --git a/tools/build_family.py b/tools/build_family.py index 4094d07db..095ca4ff7 100644 --- a/tools/build_family.py +++ b/tools/build_family.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() |