diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build_all.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build_all.py b/tools/build_all.py index c78192d63..25cdc9778 100644 --- a/tools/build_all.py +++ b/tools/build_all.py @@ -11,8 +11,8 @@ exit_status = 0 total_time = time.monotonic() -build_format = '| {:20} | {:30} | {:9} | {:7} | {:6} | {:6} |' -build_separator = '-' * 97 +build_format = '| {:23} | {:30} | {:9} | {:7} | {:6} | {:6} |' +build_separator = '-' * 100 # 1st Argument is Example, build all examples if not existed all_examples = [] |