diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_all.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tools/build_all.py b/tools/build_all.py index d65bb0730..37ca1443a 100644 --- a/tools/build_all.py +++ b/tools/build_all.py @@ -6,7 +6,6 @@ import time travis = False if "TRAVIS" in os.environ and os.environ["TRAVIS"] == "true": - PARALLEL="-j 2" travis = True success_count = 0 @@ -47,10 +46,10 @@ for example in all_device_example: # FreeRTOS example #example = 'cdc_msc_hid_freertos' #board = 'pca10056' -#subprocess.run("make -j2 -C examples/device/{} BOARD={} clean all".format(example, board), shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) +#build_example(example, board) total_time = time.monotonic() - total_time - print("Total build time took {:.2f}s".format(total_time)) + sys.exit(exit_status) |
