diff options
Diffstat (limited to 'tools/buildman/control.py')
| -rw-r--r-- | tools/buildman/control.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index cfad535..2dd8043 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -157,6 +157,8 @@ def DoBuildman(options, args): else: builder.force_build = options.force_build builder.force_build_failures = options.force_build_failures + builder.force_reconfig = options.force_reconfig + builder.in_tree = options.in_tree # Work out which boards to build board_selected = boards.GetSelectedDict() |