diff options
| author | hathach <[email protected]> | 2020-04-01 20:56:46 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2020-04-01 20:56:46 +0700 |
| commit | ff9ceb65d2c5033e80aaa795b508cdff6356b14b (patch) | |
| tree | c94b20fd114c1d0dea54a310935695309b31ae3a /tools | |
| parent | 19f977a27489fb54c3bf1e392826fa76bec49d5f (diff) | |
doc update
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) |