diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ci/bsp_buildings.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/bsp_buildings.py b/tools/ci/bsp_buildings.py index 99ce680e8c..8b182df63d 100644 --- a/tools/ci/bsp_buildings.py +++ b/tools/ci/bsp_buildings.py @@ -67,7 +67,7 @@ def build_bsp(bsp, scons_args=''): nproc = multiprocessing.cpu_count() os.chdir(rtt_root) - cmd = f'scons -C bsp/{bsp} -j{nproc} {scons_args}' + cmd = f'scons -C bsp/{bsp} -j{nproc} {scons_args} --debug=time' __, res = run_cmd(cmd, output_info=True) if res != 0: |
