diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_all.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tools/build_all.py b/tools/build_all.py index 65f41422f..c95f88b79 100644 --- a/tools/build_all.py +++ b/tools/build_all.py @@ -94,10 +94,7 @@ for example in all_examples: if build_result.returncode != 0: print(build_result.stdout.decode("utf-8")) -# FreeRTOS example -# example = 'cdc_msc_hid_freertos' -# board = 'pca10056' -# build_example(example, board) + total_time = time.monotonic() - total_time print(build_separator) |