diff options
Diffstat (limited to 'tools/buildman/builder.py')
| -rw-r--r-- | tools/buildman/builder.py | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/tools/buildman/builder.py b/tools/buildman/builder.py index 29da67a54..4a2d753c2 100644 --- a/tools/buildman/builder.py +++ b/tools/buildman/builder.py @@ -253,6 +253,7 @@ class BuilderThread(threading.Thread):                      args.extend(['-j', str(self.builder.num_jobs)])                  config_args = ['%s_config' % brd.target]                  config_out = '' +                args.extend(self.builder.toolchains.GetMakeArguments(brd))                  # If we need to reconfigure, do that now                  if do_config: |