diff options
| author | hathach <[email protected]> | 2022-06-29 15:12:01 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2022-06-29 15:12:01 +0700 |
| commit | 4da1a9359d7fa9813a01f133f919533184753064 (patch) | |
| tree | 759daa93ec61fd4b8a5a15e1913d91665c363af7 | |
| parent | 5a378703fbc30d8e7481abec81bc70a9e25761e6 (diff) | |
fix build with fomu/fomu
| -rw-r--r-- | tools/build_utils.py | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/tools/build_utils.py b/tools/build_utils.py index 68c2ed98b..d570d20e3 100644 --- a/tools/build_utils.py +++ b/tools/build_utils.py @@ -3,15 +3,14 @@ import pathlib def skip_example(example, board): ex_dir = pathlib.Path('examples/') / example bsp = pathlib.Path("hw/bsp") - - # board without family - board_dir = bsp / board - if board_dir.exists(): + if (bsp / board / "board.mk").exists(): + # board without family + board_dir = bsp / board family = "" mk_contents = "" else: - # otherwise look into family + # board within family board_dir = list(bsp.glob("*/boards/" + board)) if not board_dir: # Skip unknown boards |