diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_esp32s.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/build_esp32s.py b/tools/build_esp32s.py index 33b122ea6..0708ced80 100644 --- a/tools/build_esp32s.py +++ b/tools/build_esp32s.py @@ -59,6 +59,7 @@ def skip_example(example, board): print(build_separator) print(build_format.format('Example', 'Board', 'Result', 'Time', 'Flash', 'SRAM')) +print(build_separator) for example in all_examples: for board in all_boards: |