diff options
| author | hathach <[email protected]> | 2021-01-25 12:21:50 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2021-01-25 12:21:50 +0700 |
| commit | ed280e3ec1a49a9816cfd1651113c251d4c00eca (patch) | |
| tree | 01e72d9f970b49c64e367b65f0cf4de7034dfc58 | |
| parent | bcf16c04bd6b31591e953ee15e47afe5241bdc58 (diff) | |
correct ci scripts
| -rw-r--r-- | tools/build_board.py | 2 | ||||
| -rw-r--r-- | tools/build_esp32s2.py | 2 | ||||
| -rw-r--r-- | tools/build_family.py | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/tools/build_board.py b/tools/build_board.py index cf3a8fb94..464ee68cf 100644 --- a/tools/build_board.py +++ b/tools/build_board.py @@ -44,7 +44,7 @@ filter_with_input(all_boards) all_boards.sort() def build_board(example, board): - global success_count, fail_count, skip_count + global success_count, fail_count, skip_count, exit_status start_time = time.monotonic() flash_size = "-" sram_size = "-" diff --git a/tools/build_esp32s2.py b/tools/build_esp32s2.py index cff0cc33b..9823e8c53 100644 --- a/tools/build_esp32s2.py +++ b/tools/build_esp32s2.py @@ -42,7 +42,7 @@ filter_with_input(all_boards) all_boards.sort() def build_board(example, board): - global success_count, fail_count, skip_count + global success_count, fail_count, skip_count, exit_status start_time = time.monotonic() flash_size = "-" sram_size = "-" diff --git a/tools/build_family.py b/tools/build_family.py index 848996a3d..ae1bf078d 100644 --- a/tools/build_family.py +++ b/tools/build_family.py @@ -55,7 +55,7 @@ def build_family(example, family): build_board(example, board) def build_board(example, board): - global success_count, fail_count, skip_count + global success_count, fail_count, skip_count, exit_status start_time = time.monotonic() flash_size = "-" sram_size = "-" |